let
opt_bin_out =
" binary output"