expected

24
12
testFac : Int
testFac = PE_interp_e04a79ff [] (PE_fromInteger_d6648df 4)
PE_interp_e04a79ff : Env G -> Int -> Int
PE_interp_e04a79ff (3arg) = \x =>
                              ifThenElse (PE_==_ba2f651f x
                                                         (PE_fromInteger_d6648df 0))
                                         (Delay (PE_fromInteger_d6648df 1))
                                         (Delay (PE_*_ba2f651f (PE_interp_e04a79ff (x ::
                                                                                    (3arg))
                                                                                   (PE_-_ba2f651f x
                                                                                                  (PE_fromInteger_d6648df 1)))
                                                               x))