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