update NOTICE and LICENSE
[nit.git] / c_src / stream._sep.h
index 752ea4d..1085e2f 100644 (file)
@@ -24,155 +24,159 @@ extern const classtable_elt_t VFT_FDOStream[];
 extern const classtable_elt_t VFT_FDIOStream[];
 extern const char *LOCATE_stream;
 extern const int SFT_stream[];
-#define ID_IOS SFT_stream[0]
-#define COLOR_IOS SFT_stream[1]
-#define INIT_TABLE_POS_IOS SFT_stream[2]
-#define COLOR_stream___IOS___close SFT_stream[3]
-#define ID_IStream SFT_stream[4]
-#define COLOR_IStream SFT_stream[5]
-#define INIT_TABLE_POS_IStream SFT_stream[6]
-#define COLOR_stream___IStream___read_char SFT_stream[7]
-#define COLOR_stream___IStream___read SFT_stream[8]
-#define COLOR_stream___IStream___read_line SFT_stream[9]
-#define COLOR_stream___IStream___read_all SFT_stream[10]
-#define COLOR_stream___IStream___append_line_to SFT_stream[11]
-#define COLOR_stream___IStream___eof SFT_stream[12]
-#define ID_OStream SFT_stream[13]
-#define COLOR_OStream SFT_stream[14]
-#define INIT_TABLE_POS_OStream SFT_stream[15]
-#define COLOR_stream___OStream___write SFT_stream[16]
-#define COLOR_stream___OStream___is_writable SFT_stream[17]
-#define ID_BufferedIStream SFT_stream[18]
-#define COLOR_BufferedIStream SFT_stream[19]
-#define COLOR_stream___BufferedIStream____buffer SFT_stream[20]
-#define COLOR_stream___BufferedIStream____buffer_pos SFT_stream[21]
-#define INIT_TABLE_POS_BufferedIStream SFT_stream[22]
-#define COLOR_stream___BufferedIStream___fill_buffer SFT_stream[23]
-#define COLOR_stream___BufferedIStream___end_reached SFT_stream[24]
-#define COLOR_stream___BufferedIStream___prepare_buffer SFT_stream[25]
-#define ID_IOStream SFT_stream[26]
-#define COLOR_IOStream SFT_stream[27]
-#define INIT_TABLE_POS_IOStream SFT_stream[28]
-#define ID_FDStream SFT_stream[29]
-#define COLOR_FDStream SFT_stream[30]
-#define COLOR_stream___FDStream____fd SFT_stream[31]
-#define INIT_TABLE_POS_FDStream SFT_stream[32]
-#define COLOR_stream___FDStream___native_close SFT_stream[33]
-#define COLOR_stream___FDStream___native_read_char SFT_stream[34]
-#define COLOR_stream___FDStream___native_read SFT_stream[35]
-#define COLOR_stream___FDStream___native_write SFT_stream[36]
-#define COLOR_stream___FDStream___init SFT_stream[37]
-#define ID_FDIStream SFT_stream[38]
-#define COLOR_FDIStream SFT_stream[39]
-#define COLOR_stream___FDIStream____eof SFT_stream[40]
-#define INIT_TABLE_POS_FDIStream SFT_stream[41]
-#define COLOR_stream___FDIStream___init SFT_stream[42]
-#define ID_FDOStream SFT_stream[43]
-#define COLOR_FDOStream SFT_stream[44]
-#define COLOR_stream___FDOStream____is_writable SFT_stream[45]
-#define INIT_TABLE_POS_FDOStream SFT_stream[46]
-#define COLOR_stream___FDOStream___init SFT_stream[47]
-#define ID_FDIOStream SFT_stream[48]
-#define COLOR_FDIOStream SFT_stream[49]
-#define INIT_TABLE_POS_FDIOStream SFT_stream[50]
-#define COLOR_stream___FDIOStream___init SFT_stream[51]
-typedef void (* stream___IOS___close_t)(val_t  self);
-void stream___IOS___close(val_t  self);
-#define LOCATE_stream___IOS___close "stream::IOS::close"
-typedef val_t (* stream___IStream___read_char_t)(val_t  self);
-val_t stream___IStream___read_char(val_t  self);
-#define LOCATE_stream___IStream___read_char "stream::IStream::read_char"
-typedef val_t (* stream___IStream___read_t)(val_t  self, val_t  param0);
-val_t stream___IStream___read(val_t  self, val_t  param0);
-#define LOCATE_stream___IStream___read "stream::IStream::read"
-typedef val_t (* stream___IStream___read_line_t)(val_t  self);
-val_t stream___IStream___read_line(val_t  self);
-#define LOCATE_stream___IStream___read_line "stream::IStream::read_line"
-typedef val_t (* stream___IStream___read_all_t)(val_t  self);
-val_t stream___IStream___read_all(val_t  self);
-#define LOCATE_stream___IStream___read_all "stream::IStream::read_all"
-typedef void (* stream___IStream___append_line_to_t)(val_t  self, val_t  param0);
-void stream___IStream___append_line_to(val_t  self, val_t  param0);
-#define LOCATE_stream___IStream___append_line_to "stream::IStream::append_line_to"
-typedef val_t (* stream___IStream___eof_t)(val_t  self);
-val_t stream___IStream___eof(val_t  self);
-#define LOCATE_stream___IStream___eof "stream::IStream::eof"
-typedef void (* stream___OStream___write_t)(val_t  self, val_t  param0);
-void stream___OStream___write(val_t  self, val_t  param0);
-#define LOCATE_stream___OStream___write "stream::OStream::write"
-typedef val_t (* stream___OStream___is_writable_t)(val_t  self);
-val_t stream___OStream___is_writable(val_t  self);
-#define LOCATE_stream___OStream___is_writable "stream::OStream::is_writable"
-typedef val_t (* stream___BufferedIStream___read_char_t)(val_t  self);
-val_t stream___BufferedIStream___read_char(val_t  self);
-#define LOCATE_stream___BufferedIStream___read_char "stream::BufferedIStream::(stream::IStream::read_char)"
-typedef val_t (* stream___BufferedIStream___read_t)(val_t  self, val_t  param0);
-val_t stream___BufferedIStream___read(val_t  self, val_t  param0);
-#define LOCATE_stream___BufferedIStream___read "stream::BufferedIStream::(stream::IStream::read)"
-typedef val_t (* stream___BufferedIStream___read_all_t)(val_t  self);
-val_t stream___BufferedIStream___read_all(val_t  self);
-#define LOCATE_stream___BufferedIStream___read_all "stream::BufferedIStream::(stream::IStream::read_all)"
-typedef void (* stream___BufferedIStream___append_line_to_t)(val_t  self, val_t  param0);
-void stream___BufferedIStream___append_line_to(val_t  self, val_t  param0);
-#define LOCATE_stream___BufferedIStream___append_line_to "stream::BufferedIStream::(stream::IStream::append_line_to)"
-typedef val_t (* stream___BufferedIStream___eof_t)(val_t  self);
-val_t stream___BufferedIStream___eof(val_t  self);
-#define LOCATE_stream___BufferedIStream___eof "stream::BufferedIStream::(stream::IStream::eof)"
-#define ATTR_stream___BufferedIStream____buffer(recv) ATTR(recv, COLOR_stream___BufferedIStream____buffer)
-#define ATTR_stream___BufferedIStream____buffer_pos(recv) ATTR(recv, COLOR_stream___BufferedIStream____buffer_pos)
-typedef void (* stream___BufferedIStream___fill_buffer_t)(val_t  self);
-void stream___BufferedIStream___fill_buffer(val_t  self);
-#define LOCATE_stream___BufferedIStream___fill_buffer "stream::BufferedIStream::fill_buffer"
-typedef val_t (* stream___BufferedIStream___end_reached_t)(val_t  self);
-val_t stream___BufferedIStream___end_reached(val_t  self);
-#define LOCATE_stream___BufferedIStream___end_reached "stream::BufferedIStream::end_reached"
-typedef void (* stream___BufferedIStream___prepare_buffer_t)(val_t  self, val_t  param0);
-void stream___BufferedIStream___prepare_buffer(val_t  self, val_t  param0);
-#define LOCATE_stream___BufferedIStream___prepare_buffer "stream::BufferedIStream::prepare_buffer"
-#define ATTR_stream___FDStream____fd(recv) ATTR(recv, COLOR_stream___FDStream____fd)
-typedef void (* stream___FDStream___close_t)(val_t  self);
-void stream___FDStream___close(val_t  self);
-#define LOCATE_stream___FDStream___close "stream::FDStream::(stream::IOS::close)"
-typedef val_t (* stream___FDStream___native_close_t)(val_t  self, val_t  param0);
-val_t stream___FDStream___native_close(val_t  self, val_t  param0);
-#define LOCATE_stream___FDStream___native_close "stream::FDStream::native_close"
-typedef val_t (* stream___FDStream___native_read_char_t)(val_t  self, val_t  param0);
-val_t stream___FDStream___native_read_char(val_t  self, val_t  param0);
-#define LOCATE_stream___FDStream___native_read_char "stream::FDStream::native_read_char"
-typedef val_t (* stream___FDStream___native_read_t)(val_t  self, val_t  param0, val_t  param1, val_t  param2);
-val_t stream___FDStream___native_read(val_t  self, val_t  param0, val_t  param1, val_t  param2);
-#define LOCATE_stream___FDStream___native_read "stream::FDStream::native_read"
-typedef val_t (* stream___FDStream___native_write_t)(val_t  self, val_t  param0, val_t  param1, val_t  param2);
-val_t stream___FDStream___native_write(val_t  self, val_t  param0, val_t  param1, val_t  param2);
-#define LOCATE_stream___FDStream___native_write "stream::FDStream::native_write"
-typedef void (* stream___FDStream___init_t)(val_t  self, val_t  param0, int* init_table);
-void stream___FDStream___init(val_t  self, val_t  param0, int* init_table);
-val_t NEW_stream___FDStream___init(val_t  param0);
-#define LOCATE_stream___FDStream___init "stream::FDStream::init"
-#define ATTR_stream___FDIStream____eof(recv) ATTR(recv, COLOR_stream___FDIStream____eof)
-typedef val_t (* stream___FDIStream___eof_t)(val_t  self);
-val_t stream___FDIStream___eof(val_t  self);
-#define LOCATE_stream___FDIStream___eof "stream::FDIStream::(stream::IStream::eof)"
-typedef val_t (* stream___FDIStream___read_char_t)(val_t  self);
-val_t stream___FDIStream___read_char(val_t  self);
-#define LOCATE_stream___FDIStream___read_char "stream::FDIStream::(stream::IStream::read_char)"
-typedef void (* stream___FDIStream___init_t)(val_t  self, val_t  param0, int* init_table);
-void stream___FDIStream___init(val_t  self, val_t  param0, int* init_table);
-val_t NEW_stream___FDIStream___init(val_t  param0);
-#define LOCATE_stream___FDIStream___init "stream::FDIStream::init"
-#define ATTR_stream___FDOStream____is_writable(recv) ATTR(recv, COLOR_stream___FDOStream____is_writable)
-typedef val_t (* stream___FDOStream___is_writable_t)(val_t  self);
-val_t stream___FDOStream___is_writable(val_t  self);
-#define LOCATE_stream___FDOStream___is_writable "stream::FDOStream::(stream::OStream::is_writable)"
-typedef void (* stream___FDOStream___write_t)(val_t  self, val_t  param0);
-void stream___FDOStream___write(val_t  self, val_t  param0);
-#define LOCATE_stream___FDOStream___write "stream::FDOStream::(stream::OStream::write)"
-typedef void (* stream___FDOStream___init_t)(val_t  self, val_t  param0, int* init_table);
-void stream___FDOStream___init(val_t  self, val_t  param0, int* init_table);
-val_t NEW_stream___FDOStream___init(val_t  param0);
-#define LOCATE_stream___FDOStream___init "stream::FDOStream::init"
-typedef void (* stream___FDIOStream___init_t)(val_t  self, val_t  param0, int* init_table);
-void stream___FDIOStream___init(val_t  self, val_t  param0, int* init_table);
-val_t NEW_stream___FDIOStream___init(val_t  param0);
-#define LOCATE_stream___FDIOStream___init "stream::FDIOStream::init"
+#define ID_IOS (SFT_stream[0])
+#define COLOR_IOS (SFT_stream[1])
+#define INIT_TABLE_POS_IOS (SFT_stream[2] + 0)
+#define CALL_stream___IOS___close(recv) ((stream___IOS___close_t)CALL((recv), (SFT_stream[2] + 1)))
+#define CALL_stream___IOS___init(recv) ((stream___IOS___init_t)CALL((recv), (SFT_stream[2] + 2)))
+#define ID_IStream (SFT_stream[3])
+#define COLOR_IStream (SFT_stream[4])
+#define INIT_TABLE_POS_IStream (SFT_stream[5] + 0)
+#define CALL_stream___IStream___read_char(recv) ((stream___IStream___read_char_t)CALL((recv), (SFT_stream[5] + 1)))
+#define CALL_stream___IStream___read(recv) ((stream___IStream___read_t)CALL((recv), (SFT_stream[5] + 2)))
+#define CALL_stream___IStream___read_line(recv) ((stream___IStream___read_line_t)CALL((recv), (SFT_stream[5] + 3)))
+#define CALL_stream___IStream___read_all(recv) ((stream___IStream___read_all_t)CALL((recv), (SFT_stream[5] + 4)))
+#define CALL_stream___IStream___append_line_to(recv) ((stream___IStream___append_line_to_t)CALL((recv), (SFT_stream[5] + 5)))
+#define CALL_stream___IStream___eof(recv) ((stream___IStream___eof_t)CALL((recv), (SFT_stream[5] + 6)))
+#define ID_OStream (SFT_stream[6])
+#define COLOR_OStream (SFT_stream[7])
+#define INIT_TABLE_POS_OStream (SFT_stream[8] + 0)
+#define CALL_stream___OStream___write(recv) ((stream___OStream___write_t)CALL((recv), (SFT_stream[8] + 1)))
+#define CALL_stream___OStream___is_writable(recv) ((stream___OStream___is_writable_t)CALL((recv), (SFT_stream[8] + 2)))
+#define ID_BufferedIStream (SFT_stream[9])
+#define COLOR_BufferedIStream (SFT_stream[10])
+#define ATTR_stream___BufferedIStream____buffer(recv) ATTR(recv, (SFT_stream[11] + 0))
+#define ATTR_stream___BufferedIStream____buffer_pos(recv) ATTR(recv, (SFT_stream[11] + 1))
+#define INIT_TABLE_POS_BufferedIStream (SFT_stream[12] + 0)
+#define CALL_stream___BufferedIStream___fill_buffer(recv) ((stream___BufferedIStream___fill_buffer_t)CALL((recv), (SFT_stream[12] + 1)))
+#define CALL_stream___BufferedIStream___end_reached(recv) ((stream___BufferedIStream___end_reached_t)CALL((recv), (SFT_stream[12] + 2)))
+#define CALL_stream___BufferedIStream___prepare_buffer(recv) ((stream___BufferedIStream___prepare_buffer_t)CALL((recv), (SFT_stream[12] + 3)))
+#define ID_IOStream (SFT_stream[13])
+#define COLOR_IOStream (SFT_stream[14])
+#define INIT_TABLE_POS_IOStream (SFT_stream[15] + 0)
+#define ID_FDStream (SFT_stream[16])
+#define COLOR_FDStream (SFT_stream[17])
+#define ATTR_stream___FDStream____fd(recv) ATTR(recv, (SFT_stream[18] + 0))
+#define INIT_TABLE_POS_FDStream (SFT_stream[19] + 0)
+#define CALL_stream___FDStream___native_close(recv) ((stream___FDStream___native_close_t)CALL((recv), (SFT_stream[19] + 1)))
+#define CALL_stream___FDStream___native_read_char(recv) ((stream___FDStream___native_read_char_t)CALL((recv), (SFT_stream[19] + 2)))
+#define CALL_stream___FDStream___native_read(recv) ((stream___FDStream___native_read_t)CALL((recv), (SFT_stream[19] + 3)))
+#define CALL_stream___FDStream___native_write(recv) ((stream___FDStream___native_write_t)CALL((recv), (SFT_stream[19] + 4)))
+#define CALL_stream___FDStream___init(recv) ((stream___FDStream___init_t)CALL((recv), (SFT_stream[19] + 5)))
+#define ID_FDIStream (SFT_stream[20])
+#define COLOR_FDIStream (SFT_stream[21])
+#define ATTR_stream___FDIStream____eof(recv) ATTR(recv, (SFT_stream[22] + 0))
+#define INIT_TABLE_POS_FDIStream (SFT_stream[23] + 0)
+#define CALL_stream___FDIStream___init(recv) ((stream___FDIStream___init_t)CALL((recv), (SFT_stream[23] + 1)))
+#define ID_FDOStream (SFT_stream[24])
+#define COLOR_FDOStream (SFT_stream[25])
+#define ATTR_stream___FDOStream____is_writable(recv) ATTR(recv, (SFT_stream[26] + 0))
+#define INIT_TABLE_POS_FDOStream (SFT_stream[27] + 0)
+#define CALL_stream___FDOStream___init(recv) ((stream___FDOStream___init_t)CALL((recv), (SFT_stream[27] + 1)))
+#define ID_FDIOStream (SFT_stream[28])
+#define COLOR_FDIOStream (SFT_stream[29])
+#define INIT_TABLE_POS_FDIOStream (SFT_stream[30] + 0)
+#define CALL_stream___FDIOStream___init(recv) ((stream___FDIOStream___init_t)CALL((recv), (SFT_stream[30] + 1)))
+static const char * const LOCATE_stream___IOS___close = "stream::IOS::close";
+void stream___IOS___close(val_t p0);
+typedef void (*stream___IOS___close_t)(val_t p0);
+static const char * const LOCATE_stream___IOS___init = "stream::IOS::init";
+void stream___IOS___init(val_t p0, int* init_table);
+typedef void (*stream___IOS___init_t)(val_t p0, int* init_table);
+val_t NEW_IOS_stream___IOS___init();
+static const char * const LOCATE_stream___IStream___read_char = "stream::IStream::read_char";
+val_t stream___IStream___read_char(val_t p0);
+typedef val_t (*stream___IStream___read_char_t)(val_t p0);
+static const char * const LOCATE_stream___IStream___read = "stream::IStream::read";
+val_t stream___IStream___read(val_t p0, val_t p1);
+typedef val_t (*stream___IStream___read_t)(val_t p0, val_t p1);
+static const char * const LOCATE_stream___IStream___read_line = "stream::IStream::read_line";
+val_t stream___IStream___read_line(val_t p0);
+typedef val_t (*stream___IStream___read_line_t)(val_t p0);
+static const char * const LOCATE_stream___IStream___read_all = "stream::IStream::read_all";
+val_t stream___IStream___read_all(val_t p0);
+typedef val_t (*stream___IStream___read_all_t)(val_t p0);
+static const char * const LOCATE_stream___IStream___append_line_to = "stream::IStream::append_line_to";
+void stream___IStream___append_line_to(val_t p0, val_t p1);
+typedef void (*stream___IStream___append_line_to_t)(val_t p0, val_t p1);
+static const char * const LOCATE_stream___IStream___eof = "stream::IStream::eof";
+val_t stream___IStream___eof(val_t p0);
+typedef val_t (*stream___IStream___eof_t)(val_t p0);
+val_t NEW_IStream_stream___IOS___init();
+static const char * const LOCATE_stream___OStream___write = "stream::OStream::write";
+void stream___OStream___write(val_t p0, val_t p1);
+typedef void (*stream___OStream___write_t)(val_t p0, val_t p1);
+static const char * const LOCATE_stream___OStream___is_writable = "stream::OStream::is_writable";
+val_t stream___OStream___is_writable(val_t p0);
+typedef val_t (*stream___OStream___is_writable_t)(val_t p0);
+val_t NEW_OStream_stream___IOS___init();
+static const char * const LOCATE_stream___BufferedIStream___read_char = "stream::BufferedIStream::(stream::IStream::read_char)";
+val_t stream___BufferedIStream___read_char(val_t p0);
+typedef val_t (*stream___BufferedIStream___read_char_t)(val_t p0);
+static const char * const LOCATE_stream___BufferedIStream___read = "stream::BufferedIStream::(stream::IStream::read)";
+val_t stream___BufferedIStream___read(val_t p0, val_t p1);
+typedef val_t (*stream___BufferedIStream___read_t)(val_t p0, val_t p1);
+static const char * const LOCATE_stream___BufferedIStream___read_all = "stream::BufferedIStream::(stream::IStream::read_all)";
+val_t stream___BufferedIStream___read_all(val_t p0);
+typedef val_t (*stream___BufferedIStream___read_all_t)(val_t p0);
+static const char * const LOCATE_stream___BufferedIStream___append_line_to = "stream::BufferedIStream::(stream::IStream::append_line_to)";
+void stream___BufferedIStream___append_line_to(val_t p0, val_t p1);
+typedef void (*stream___BufferedIStream___append_line_to_t)(val_t p0, val_t p1);
+static const char * const LOCATE_stream___BufferedIStream___eof = "stream::BufferedIStream::(stream::IStream::eof)";
+val_t stream___BufferedIStream___eof(val_t p0);
+typedef val_t (*stream___BufferedIStream___eof_t)(val_t p0);
+static const char * const LOCATE_stream___BufferedIStream___fill_buffer = "stream::BufferedIStream::fill_buffer";
+void stream___BufferedIStream___fill_buffer(val_t p0);
+typedef void (*stream___BufferedIStream___fill_buffer_t)(val_t p0);
+static const char * const LOCATE_stream___BufferedIStream___end_reached = "stream::BufferedIStream::end_reached";
+val_t stream___BufferedIStream___end_reached(val_t p0);
+typedef val_t (*stream___BufferedIStream___end_reached_t)(val_t p0);
+static const char * const LOCATE_stream___BufferedIStream___prepare_buffer = "stream::BufferedIStream::prepare_buffer";
+void stream___BufferedIStream___prepare_buffer(val_t p0, val_t p1);
+typedef void (*stream___BufferedIStream___prepare_buffer_t)(val_t p0, val_t p1);
+val_t NEW_BufferedIStream_stream___IOS___init();
+val_t NEW_IOStream_stream___IOS___init();
+static const char * const LOCATE_stream___FDStream___close = "stream::FDStream::(stream::IOS::close)";
+void stream___FDStream___close(val_t p0);
+typedef void (*stream___FDStream___close_t)(val_t p0);
+static const char * const LOCATE_stream___FDStream___native_close = "stream::FDStream::native_close";
+val_t stream___FDStream___native_close(val_t p0, val_t p1);
+typedef val_t (*stream___FDStream___native_close_t)(val_t p0, val_t p1);
+static const char * const LOCATE_stream___FDStream___native_read_char = "stream::FDStream::native_read_char";
+val_t stream___FDStream___native_read_char(val_t p0, val_t p1);
+typedef val_t (*stream___FDStream___native_read_char_t)(val_t p0, val_t p1);
+static const char * const LOCATE_stream___FDStream___native_read = "stream::FDStream::native_read";
+val_t stream___FDStream___native_read(val_t p0, val_t p1, val_t p2, val_t p3);
+typedef val_t (*stream___FDStream___native_read_t)(val_t p0, val_t p1, val_t p2, val_t p3);
+static const char * const LOCATE_stream___FDStream___native_write = "stream::FDStream::native_write";
+val_t stream___FDStream___native_write(val_t p0, val_t p1, val_t p2, val_t p3);
+typedef val_t (*stream___FDStream___native_write_t)(val_t p0, val_t p1, val_t p2, val_t p3);
+static const char * const LOCATE_stream___FDStream___init = "stream::FDStream::init";
+void stream___FDStream___init(val_t p0, val_t p1, int* init_table);
+typedef void (*stream___FDStream___init_t)(val_t p0, val_t p1, int* init_table);
+val_t NEW_FDStream_stream___FDStream___init(val_t p0);
+static const char * const LOCATE_stream___FDIStream___eof = "stream::FDIStream::(stream::IStream::eof)";
+val_t stream___FDIStream___eof(val_t p0);
+typedef val_t (*stream___FDIStream___eof_t)(val_t p0);
+static const char * const LOCATE_stream___FDIStream___read_char = "stream::FDIStream::(stream::IStream::read_char)";
+val_t stream___FDIStream___read_char(val_t p0);
+typedef val_t (*stream___FDIStream___read_char_t)(val_t p0);
+static const char * const LOCATE_stream___FDIStream___init = "stream::FDIStream::init";
+void stream___FDIStream___init(val_t p0, val_t p1, int* init_table);
+typedef void (*stream___FDIStream___init_t)(val_t p0, val_t p1, int* init_table);
+val_t NEW_FDIStream_stream___FDIStream___init(val_t p0);
+static const char * const LOCATE_stream___FDOStream___is_writable = "stream::FDOStream::(stream::OStream::is_writable)";
+val_t stream___FDOStream___is_writable(val_t p0);
+typedef val_t (*stream___FDOStream___is_writable_t)(val_t p0);
+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";
+void stream___FDOStream___init(val_t p0, val_t p1, int* init_table);
+typedef void (*stream___FDOStream___init_t)(val_t p0, val_t p1, int* init_table);
+val_t NEW_FDOStream_stream___FDOStream___init(val_t p0);
+static const char * const LOCATE_stream___FDIOStream___init = "stream::FDIOStream::init";
+void stream___FDIOStream___init(val_t p0, val_t p1, int* init_table);
+typedef void (*stream___FDIOStream___init_t)(val_t p0, val_t p1, int* init_table);
+val_t NEW_FDIOStream_stream___FDIOStream___init(val_t p0);
 #endif