let
mk_equal_pointer_bool =
"equal_pointer"