let multq q i = 
  Trace.call "foo" "Multq" (q, i) (Pretty.pair Mpa.Q.pp pp);
  let res = multq q i in
    Trace.exit "foo" "Multq" res pp;
    res