Corpus for exit:
Coverage Program
4 exit