let
mk_lt_pointer_bool =
"lt_pointer"