Symbol: io_buffer_head