my $file = $options{file} // $options{input_file} //
     get_default_option (""file") // get_default_option ("input_file") //
     file_exists ("$ENV{WORK_DIR}/file.in") //
     file_exists ("$ENV{HOME}/project_in.file") or die;