let loc_of_term o t = Mloc (M.loc_of_term o t)