/*
* header file to be used by applications.
*/
int printu(const char *s, ...);
int exit(int code);
void* better_malloc(int n);
void better_free(void* va);