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


typedef struct {
    int f;
    int arg;
    int stackAddr;
} ThreadArgs_t;

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