Function patch_seq_udp_receive_from 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn patch_seq_udp_receive_from(
    stack: Stack,
) -> Stack

Receive one datagram from a UDP socket.

Stack effect: ( socket – bytes host port Bool )

Yields the strand until a datagram arrives. On failure pushes ("", "", 0, false) — invalid socket, recv error, datagram larger than MAX_READ_SIZE, or non-UTF-8 payload (see module doc).

Safety

Stack must have an Int (socket) on top.