void FileSystemApi::flush_page(DBC &conf, Page &pg) { assert(file.good()); file.seekp(get_page_offset(conf, pg), std::ios_base::beg); assert(pg.num_bytes() <= conf.page_size); file.write(pg.as_bytes((int)conf.page_size), conf.page_size); }