#name : receive ... -> ... end
# key: rcv
# --
receive
    $1 -> $0
end