# Startup

process_command_line();
perform_various_sanity_checks();
my ($user,$passwd) = get_login_data($CONFIGFILE);
set_static_configuration();

# Do the work