let minus_loc l1 l2 =
        F.e_app2 "minus_ptr" (ptr l1) (ptr l2)