let
mk_minus_pointer =
"minus_pointer"