expected

24
12
testFac : Int
testFac = PE_interp_f79b3e31 [] (PE_fromInteger_a0377313 4)
PE_interp_f79b3e31 : Env G -> Int -> Int
PE_interp_f79b3e31 (3arg) = \x =>
                              ifThenElse (PE_==_a03270d8 x
                                                         (PE_fromInteger_a0377313 0))
                                         (Delay (PE_fromInteger_a0377313 1))
                                         (Delay (PE_*_a725d5d6 (PE_interp_f79b3e31 (x ::
                                                                                    (3arg))
                                                                                   (PE_-_a71cf640 x
                                                                                                  (PE_fromInteger_a0377313 1)))
                                                               x))