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