#ifdef CHANGED
#include "copyright.h"
#include "utility.h"

extern int do_ThreadCreate(int f, int arg);
extern void do_ThreadExit();
#endif