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