extern int cg5000 (int argc, char* argv[]);
extern int cg5100 (int argc, char* argv[]);