extern void baseCheck(); extern int coal1; extern int coal2; extern void baseVerifyCoal1(const char* where, int* addr); extern void baseVerifyCoal2(const char* where, int* addr);