Corpus for ioctl$TIOCSPTLCK:

Coverage	Program
132	openat$ptmx-ioctl$TIOCSPTLCK