beginFn f0_fun u8 1 v0_x u8
mut v0_x !4:u8
mut v0_x !0:u8
mut v0_x !1:u8
mut v0_x !3:u8
ret v0_x
endFn