let cast_int_to_loc = M.cast_int_to_loc