#include const oskit_iid_t oskit_bufio_stream_iid = OSKIT_BUFIO_STREAM_IID;