let
cast_loc_to_int _tp loc _ti = addr loc