let eval = (Topinf.init Format.std_formatter) Format.std_formatter in eval "#use \"init.ml\";;"