let outfile = StdOpt.str_option ()