r0 = socket$inet6_udplite(0xa, 0x2, 0x88)
r1 = gettid()
kcmp(r1, r1, 0x0, r0, r0)