void *raw_buffer_load (int fd, int writable, guint32 base, size_t size);
void raw_buffer_free  (void *buffer);