Corpus for io_destroy:

Coverage	Program