An extension to WebAssembly allowing instructions, blocks and functions to produce multiple result values