let
out_file =
StdOpt
.str_option ()