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

void val(void *p);
void val(status_t status);
void val_size(ssize_t size);

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