Use `IO_write_stringref`