Corpus for syz_open_dev$vcsn:

Coverage	Program