extern void ccpu386InitThreadStuff();
extern void ccpu386foundnewthread();
extern void ccpu386newthread();
extern void ccpu386exitthread();
extern jmp_buf *ccpu386SimulatePtr();
extern void ccpu386Unsimulate();
extern jmp_buf *ccpu386ThrdExptnPtr();
extern void ccpu386GotoThrdExptnPt();

