SYZFAIL: too much cover
cov=1000
 (errno 9: Bad file descriptor)