BEGIN { parse_options("NonStop=1"); }