Corpus for timer_delete:

Coverage	Program