1 #include <OS.h> 2 #include <stdio.h> 3 4 void val(void *p); 5 void val(status_t status); 6 void val_size(ssize_t size); 7 8 void wait(); 9 void out(const char *format,...); 10 11