receive is a syntax for making the handling of multiple-value procedures easier. It is documented in See Returning and Accepting Multiple Values.
receive