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