int ic0100(int argc, char* argv[]);
int ic0200(int argc, char* argv[]);