let minus_loc = M.minus_loc