This function is provided by the user and should produce a copy of the passed in boxed structure.
-> Pointer(Void)