Corpus for write$char_raw:
Coverage
Program