Corpus for ioctl$TIOCGPTLCK:

Coverage	Program