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