let
cast_int_to_loc _ti i _tp =
Addr
i