#include <OS.h>
#include <stdio.h>

void val(void *p);
void val(status_t status);

void wait();
void out(const char *format,...);