r0 = socket(0xa, 0x3, 0x5) sendmsg$SOCK_DESTROY(r0, &(0x7f0000002a40)={&(0x7f0000000780), 0xc, &(0x7f0000002a00)={0x0}}, 0x0)