let
cast_loc_to_int _tp _p _ti = unsupported
"cast from pointer to int"