bf.wast

(module 
	(memory 1 1) 
	(import $print "spectest" "print" 
		(param i32)) 
	(func $start 
		(local $p i32) 
		(local $v i32) 
		(set_local $v 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $v 
			(i32.add 
				(get_local $v) 
				(i32.const 1))) 
		(i32.store8 
			(get_local $p) 
			(get_local $v)) 
		(call_import $print 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $v 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $v 
			(i32.add 
				(get_local $v) 
				(i32.const 1))) 
		(i32.store8 
			(get_local $p) 
			(get_local $v)) 
		(call_import $print 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $v 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $v 
			(i32.add 
				(get_local $v) 
				(i32.const 1))) 
		(i32.store8 
			(get_local $p) 
			(get_local $v)) 
		(call_import $print 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $v 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $v 
			(i32.add 
				(get_local $v) 
				(i32.const 1))) 
		(i32.store8 
			(get_local $p) 
			(get_local $v)) 
		(call_import $print 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $p 
			(i32.add 
				(get_local $p) 
				(i32.const 1))) 
		(set_local $v 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $v 
			(i32.add 
				(get_local $v) 
				(i32.const 1))) 
		(i32.store8 
			(get_local $p) 
			(get_local $v)) 
		(call_import $print 
			(i32.load8_u 
				(get_local $p))) 
		(set_local $p 
			(i32.add 
				(get_local $p) 
				(i32.const -1))) 
		(call_import $print 
			(i32.load8_u 
				(get_local $p))) 
		(i32.store8 
			(get_local $p) 
			(i32.add 
				(i32.load8_u 
					(get_local $p)) 
				(i32.const -1))) 
		(call_import $print 
			(i32.load8_u 
				(get_local $p)))) 
	(start $start))