#include <oskit/io/ttystream.h>
const oskit_iid_t oskit_ttystream_iid = OSKIT_TTYSTREAM_IID;