/* ISC license. */ #include #include int genwrite_flush_buffer (void *target) { register buffer *b = target ; return buffer_flush(b) ; }