let cast_loc_to_int ty l ty2 =
      match l with
        | Mloc l -> M.cast_loc_to_int ty l ty2
        | Path p | PRef p | PRpar (p,_) | ARef p | ARpar (p,_) -> 
            M.cast_loc_to_int ty (Lookup.mloc_of_path p) ty2