let
cast_loc_to_loc _ty1 _ty2 _l = unsupported
"pointer cast"