(module
	(func (export "(block)") (result i32)
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
			i32.const 1000
			return
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		unreachable
	)
)
(assert_return (invoke "(block)") (i32.const 1000))

(module
	(func (export "(loop)") (result i32)
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
			i32.const 2000
			return
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		unreachable
	)
)
(assert_return (invoke "(loop)") (i32.const 2000))

(module
	(func (export "block") (result i32)
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
			i32.const 3000
			return
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		unreachable
	)
)
(assert_return (invoke "block") (i32.const 3000))

(module
	(func (export "loop") (result i32)
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
			i32.const 4000
			return
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		unreachable
	)
)
(assert_return (invoke "loop") (i32.const 4000))

(module
	(func (export "(br_table)") (result i32)
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
			(return (i32.const 5000))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		unreachable
	)
)
(assert_return (invoke "(br_table)") (i32.const 5000))


(assert_invalid (module
	(func (export "(block)") (result i32)
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block (block (block (block (block (block (block (block (block (block
		(block
			i32.const 1000
			return
		)
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		unreachable
	)
) "exceeded maximum recursion depth")

(assert_invalid (module
	(func (export "(loop)") (result i32)
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop (loop (loop (loop (loop (loop (loop (loop (loop (loop
		(loop
			i32.const 2000
			return
		)
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		unreachable
	)
) "exceeded maximum recursion depth")

(assert_invalid (module
	(func (export "block") (result i32)
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block block block block block block block block block block
		block
			i32.const 3000
			return
		end
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		unreachable
	)
) "exceeded maximum recursion depth")

(assert_invalid (module
	(func (export "loop") (result i32)
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		loop loop loop loop loop loop loop loop loop loop
		block
			i32.const 3000
			return
		end
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end end 
		unreachable
	)
) "exceeded maximum recursion depth")

(assert_invalid (module
	(func (export "(br_table)") (result i32)
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
		(br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0 (br_table 0
			(return (i32.const 5000))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
		unreachable
	)
) "exceeded maximum recursion depth")