let out_ch = StdOpt.str_option ()