let mk_equal_pointer_bool = "equal_pointer"