document unsafe_pointer_to_objref