func Main()
  t.4 = HeapAllocZ(4)
  [t.4+0] = :functable_Fac
  t.5 = t.4
  t.6 = t.5
  t.3 = t.6
  t.8 = t.3
  t.3 = t.8
  t.9 = [t.3+0]
  t.10 = [t.9+0]
  t.11 = 10
  t.12 = t.11
  t.7 = call t.10(t.3 t.12)
  t.13 = t.7
  t.14 = t.13
  PrintIntS(t.14)
  ret

const functable_Fac
   :Fac_ComputeFac

func Fac_ComputeFac(this t.0 )
  t.2 = 4
  t.3 = t.2
  t.1 = t.3
  t.4 = t.1
  t.5 = t.4
  t.6 = t.5
  ret t.6

func AllocArray(size)
  bytes = MulS(size 4)
  bytes = Add(bytes 4)
  v = HeapAllocZ(bytes)
  [v] = size
  ret v