4 int buffer_init(const char *filename
);
5 int buffer_deinit(void);
6 char *buffer_read_line(void);
7 char *buffer_read_string(uint32_t len
);
8 void buffer_copy_bytes(uint32_t len
);
9 void buffer_skip_bytes(uint32_t len
);
10 void buffer_reset(void);
