let opt_bin_in = " binary input"