const functable_Fac
   :Fac_ComputeFac
func Main [in 0, out 0, local 14]
  local[0] = $s0
  local[1] = $s1
  local[2] = $s2
  local[3] = $s3
  local[4] = $s4
  local[5] = $s5
  local[6] = $s6
  local[7] = $s7
  $s7 = HeapAllocZ(4 )
  [$s7+0] = :functable_Fac
  $s6 = $s7
  $s7 = $s6
  $s6 = [$s7+0]
  $s5 = [$s6+0]
  $s6 = 10
  $s4 = $s6
  local[8] = $t3
  local[9] = $t4
  local[10] = $t5
  local[11] = $t6
  local[12] = $t7
  local[13] = $t8
  $a0 = $s7
  $a1 = $s4
  call $s5
  $t3 = local[8]
  $t4 = local[9]
  $t5 = local[10]
  $t6 = local[11]
  $t7 = local[12]
  $t8 = local[13]
  $s6 = $v0
  $s4 = $s6
  $s6 = $s4
  PrintIntS($s6 )
  $s0 = local[0]
  $s1 = local[1]
  $s2 = local[2]
  $s3 = local[3]
  $s4 = local[4]
  $s5 = local[5]
  $s6 = local[6]
  $s7 = local[7]
  ret
func Fac_ComputeFac [in 0, out 0, local 14]
  local[0] = $s0
  local[1] = $s1
  local[2] = $s2
  local[3] = $s3
  local[4] = $s4
  local[5] = $s5
  local[6] = $s6
  local[7] = $s7
  $s6 = $a0
  $s7 = $a1
  $s5 = $s7
  $s4 = 1
  $s3 = LtS($s5 $s4 )
  $s4 = $s3
  $s3 = $s4
  if0 $s3 goto :if9_else
if9_body:
  $s3 = 1
  $s4 = $s3
  $s3 = $s4
  goto :if9_end
if9_else:
  $s4 = $s7
  $s5 = $s6
  $s5 = [$s6+0]
  $s2 = $s7
  $s7 = 1
  $s1 = Sub($s2 $s7 )
  $s7 = $s1
  $s5 = [$s5+0]
  local[8] = $t3
  local[9] = $t4
  local[10] = $t5
  local[11] = $t6
  local[12] = $t7
  local[13] = $t8
  $a0 = $s6
  $a1 = $s7
  call $s5
  $t3 = local[8]
  $t4 = local[9]
  $t5 = local[10]
  $t6 = local[11]
  $t7 = local[12]
  $t8 = local[13]
  $s1 = $v0
  $s7 = $s1
  $s1 = $s7
  $s7 = MulS($s4 $s1 )
  $s1 = $s7
  $s3 = $s1
if9_end:
  $s1 = $s3
  $s3 = $s1
  $s1 = $s3
  $v0 = $s1
  $s0 = local[0]
  $s1 = local[1]
  $s2 = local[2]
  $s3 = local[3]
  $s4 = local[4]
  $s5 = local[5]
  $s6 = local[6]
  $s7 = local[7]
  ret
func AllocArray [in 0, out 0, local 14]
  local[0] = $s0
  local[1] = $s1
  local[2] = $s2
  local[3] = $s3
  local[4] = $s4
  local[5] = $s5
  local[6] = $s6
  local[7] = $s7
  $s7 = $a0
  $s6 = MulS($s7 4 )
  $s6 = Add($s6 4 )
  $s5 = HeapAllocZ($s6 )
  [$s5+0] = $s7
  $v0 = $s5
  $s0 = local[0]
  $s1 = local[1]
  $s2 = local[2]
  $s3 = local[3]
  $s4 = local[4]
  $s5 = local[5]
  $s6 = local[6]
  $s7 = local[7]
  ret