ioctl(-1, TIOCGWINSZ, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, TIOCSWINSZ, NULL) = -1 EBADF (Bad file descriptor)
ioctl(-1, TIOCSWINSZ, 0x7fc95a27f000) = -1 EBADF (Bad file descriptor)
ioctl(-1, TIOCGWINSZ, 0x7fc95a27eff8) = -1 EBADF (Bad file descriptor)
ioctl(-1, TIOCSWINSZ, {ws_row=33152, ws_col=33666, ws_xpixel=34180, ws_ypixel=34694}) = -1 EBADF (Bad file descriptor)
+++ exited with 0 +++
