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