let lt_loc = M.lt_loc