Header: ext/stdio_sync_filebuf.h