open Saferet let _ = match read_selector_and_filename () with | (inp_select, inp_filename) -> try begin program inp_select Config.safe_dirs inp_filename end with Bad_selector -> exit 1 .