let pp_prehint fmt (h,s) = Format.fprintf fmt "%s%a" h pp_presigma s