let cast_loc_to_int = M.cast_loc_to_int