rewrite #6
use b for goto
sign-extend qemu_st_i32 data
fixup label arithmetic