let mksig loc d = { psig_desc = d; psig_loc = mkloc loc; }