void main(int argc, char* argc);
int Rts_numProc;
int Rts_myProc;
int _Rts_haltFlag;
int _Rts_networkPackets;
int _Rts_putOps;
int _Rts_getOps;
int _Rts_storeOps;
void _Rts_configure();
void _Rts_pollNetwork();
void _Rts_interruptOn();
void _Rts_interruptOff();
void _Rts_syncAllProcs();
Flag _Rts_store(int proc, char *buf, char *putAddr, int size,
void (*f)(), Counter *ctr);
Flag _Rts_store1(int proc, char *buf, char *putAddr, int size,
void (*f)(), void* arg, Counter *ctr);
Flag _Rts_put(int proc, char *buf, char *putAddr, int size,
Counter *ctr)}
Flag _Rts_get(int proc, char *buf, char *getAddr, int size,
Counter *ctr)}
Flag _Rts_fastIRP(int proc, Flag (*scheduler)(), void (*f)(), void *context,
int contextSize);
Flag _Rts_fastIRP_4(int proc, void (*f)(), int i1, int i2, int i3, int i4);
void _Rts_exit();
double _Rts_getTimeCoarse();