+static const char * const LOCATE_stream___FDOStream___write = "stream::FDOStream::(stream::OStream::write)";
+void stream___FDOStream___write(val_t p0, val_t p1);
+typedef void (*stream___FDOStream___write_t)(val_t p0, val_t p1);
+static const char * const LOCATE_stream___FDOStream___init = "stream::FDOStream::init";