let cast_int_to_loc _ti i _tp = Addr i