receiv added by evhan on Tue Sep 13 06:05:49 2016

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

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