let
out_ch =
StdOpt
.str_option ()