r0 = msgget(0x3, 0x0)
r1 = gettid()
msgctl$IPC_SET(r0, 0x1, &(0x7f0000000000)={{0x2, 0x0, 0xee00, 0xee00, 0x0, 0x78}, 0x0, 0x0, 0x3, 0x7, 0xe9, 0x8, 0xfd10, 0x4, 0x0, 0x0, 0x0, r1})
msgsnd(r0, &(0x7f0000000080)={0x1, "1325d9e015ac4494ceaa3db5b903ecbefba85888ee406842199c8c3f8ab930f9e78b18d4f92e4a14c820105a8b043846bcf6b426a1b364df1edce02539153cf3944daececc6bb0c8058a732c28f0867f242e819b7a95d233b151537b23df047a958a1c35274c162ea538784e05dc95102ce02e7864936d655162720f74d131d0c90c976abfbf060118cba36e95529aa37a7eaec49eb45995c2c3b6555c2d509eb2f26519deb6"}, 0xae, 0x0)
msgctl$IPC_STAT(r0, 0x2, &(0x7f0000000140)=""/57)
kcmp(r1, r1, 0x0, 0xffffffffffffffff, 0xffffffffffffffff)
kcmp(r1, r1, 0x6, 0xffffffffffffffff, 0xffffffffffffffff)
msgctl$IPC_RMID(0x0, 0x0)
msgctl$IPC_RMID(r0, 0x0)