let
cast_loc_to_int =
M
.cast_loc_to_int