; (receive 0 1 2) (receive (a) (b) (c)) ; (receive 10 1 2) (receive (a) (b) (c))