LUADESTROY
if (ioctl(devfd, LUADESTROY, &cr) == -1)
case LUADESTROY:
ATF_REQUIRE_ERRNO(EACCES, ioctl(fd, LUADESTROY, &cr) == -1);
RL(ioctl(fd, LUADESTROY, &cr));
(void)ioctl(lua_fd, LUADESTROY, &cr);