-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"
+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);