int listlen (void *base);
void Write (void *p, int n);
void Read (void *p, int n);
void readlist (void *base, int size);
int readint (void);
void writelist (void *base, int size);
void writelist2 (void *base, int size, int size2);
void writeint (int i);
