func Main [in 0, out 0, local 4]
  local[0] = $s0
  local[1] = $s1
  local[2] = $s2
  $s0 = HeapAllocZ(4)
  local[3] = $s0
  $s0 = local[3]
  [$s0] = :functable_A
  $local[4] = $s0
  $t1 = [$t0]
  $t2 = [$t1]
  $a0 = $t0
  $a1 = 12
  call $t2
  $t1 = $v0
  PrintIntS($t1)
  $s0 = local[0]
  $s1 = local[1]
  $s2 = local[2]
  ret

const functable_A
   :A_foo

func A_foo [in 0, out 0, local 6]
  local[0] = $s0
  local[1] = $s1
  local[2] = $s2
  $t0 = $a0
  $s0 = $a1
  $v0 = $s0
  $s0 = local[0]
  $s1 = local[1]
  $s2 = local[2]
  ret