let loc_of_funloc = function
    | Mloc l -> l
    | Path(m,x,p,_) -> Lookup.mloc_of_path m x p