--- run 1 ---
IPC_STAT : sem_base=0xfffff8008d363168 nsems=3 mode=1600
SEM_STAT : Invalid argument (dead command: seq/index checks are mutually exclusive)
LEAK: kernel pointer disclosed to uid=1001
rc=0
--- run 2 ---
IPC_STAT : sem_base=0xfffff8008d363168 nsems=3 mode=1600
SEM_STAT : Invalid argument (dead command: seq/index checks are mutually exclusive)
LEAK: kernel pointer disclosed to uid=1001
rc=0
--- run 3 ---
IPC_STAT : sem_base=0xfffff8008d363168 nsems=3 mode=1600
SEM_STAT : Invalid argument (dead command: seq/index checks are mutually exclusive)
LEAK: kernel pointer disclosed to uid=1001
rc=0