consoleTaskCode   410 newtask.c      extern void consoleTaskCode(void);
consoleTaskCode   425 newtask.c      	NewKernelTask(consoleTaskCode);