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