r0 = semget$private(0x0, 0x5, 0x0)
semctl$GETNCNT(r0, 0x6595f8bbd5a80d53, 0xe, 0x0)