socket$inet6_udplite(0xa, 0x2, 0x88)
r0 = fork()
rt_sigqueueinfo(r0, 0x22, &(0x7f0000000340)={0x0, 0x0, 0xffffffd8})
r1 = fork()
kcmp(r0, r1, 0x1, 0xffffffffffffffff, 0xffffffffffffffff)