print futures in caml toplevel too
Opaqueproofs: sink futures when interactive