ioctl(-1, 0x80046601, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80046601, 0xb7eb9000) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x80046601, 0xb7eb8ffc) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x40046602, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x40046602, 0xb7eb9000) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x40046602, [0xd000000]) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x40046602, [0xf2ffffff]) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x66ff, 0) = -1 EBADF (Bad file descriptor)
ioctl(-1, 0x66ff, 0xb7eb9000) = -1 EBADF (Bad file descriptor)
+++ exited with 0 +++
