prob-16-kern.h

#pragma once
#define SIZEOFSTACK 256
#define MAXQUEUE 4096
#define SPACESIZE 1024
void o(void);
void tx(int);
void t(int);