let opt_bin_out = " binary output"