let mk_minus_pointer = "minus_pointer"