Corpus for syz_open_dev$vcsn:
Coverage
Program
785
syz_open_dev$vcsn