int sc3100(int argc, char** argv);