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