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

const functable_Fac
   :Fac_ComputeFac

func Fac_ComputeFac(this t.0 )
  t.1 = 4
  ret t.1

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