Corpus for read$char_raw:
Coverage
Program