#include <stdarg.h>
#include <sys/time.h>
+// Varargs function definitions
+int ioctl(int d, int request) {return 0; }
+int printf(const char *X) {return 0; }
+
+
int gettimeofday(struct timeval *tv, void *tz) { return 0; }
void *xmalloc(size_t X) { return malloc(X); }
size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream) { return 0; }
int fseek(FILE *stream, long offset, int whence) { return 0; }
int feof(FILE *stream) { return 0; }
-int fputs(const char *s, FILE *stream) { return 0; }
+int fputs(const char *s, char *stream) { return 0; }
int ferror(FILE *F) { return 0; }
FILE *fdopen(int fildes, const char *mode) { return 0;}
int ungetc(int c, FILE *stream) { return 0; }