let
mkmod loc d = { pmod_desc = d; pmod_loc = mkloc loc; }