func foo[in 0, out 2, local 3]
 local[0] = $s0
 local[1] = $s1
 local[2] = $s2
 $s0 = Add(1 3)
 $s1 = Add(2 4)
 out[0] = $s0
 out[1] = $s1
 call :bar
 $s2 = Add($v0 $v0)
 $v0 = $s2
 $s0 = local[0]
 $s1 = local[1]
 $s2 = local[2]
 ret

func bar[in 2, out 0, local 2]
 local[0] = $s0
 local[1] = $s1
 $s0 = in[0]
 $s1 = in[1]
 $v0 = Add($s1 $s2)
 $s0 = local[0]
 $s1 = local[1]
 ret