Fatal error: 14: Tau special states found: - OS_special (FIXME, "lseek: SEEK_DATA and SEEK_HOLE are unsupported by this spec") no normal result states