fill in unimplemented section of copy_pointer