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