r0 = syz_init_net_socket$802154_raw(0x24, 0x3, 0x0)
r1 = socket$inet_udplite(0x2, 0x2, 0x88)
dup2(r1, r0)