Since sys/ioctl.h translation is so dodgy, you'll
    probably have to run this C program to get your
    TIOCSTI value.

        % cat > tio.c <<EOF && cc tio.c && a.out
        main() { printf("%#08x\n", TIOCSTI); }
        EOF