Big fib

fib.plc

(program 1.0.0
  [
    (lam
      fib_37
      (fun [(con integer) (con 64)] [(con integer) (con 64)])
      [ fib_37 (con 64 ! 4) ]
    )
    [
      {
        {
          (abs
            a_28
            (type)
            (abs
              b_29
              (type)
              (lam
                f_30
                (fun (fun a_28 b_29) (fun a_28 b_29))
                [
                  {
                    (abs
                      a_26
                      (type)
                      (lam
                        s_27
                        [(lam a_24 (type) (fix self_25 (fun self_25 a_24))) a_26]
                        [ (unwrap s_27) s_27 ]
                      )
                    )
                    (fun a_28 b_29)
                  }
                  (wrap
                    self_23
                    [(lam a_22 (type) (fun self_23 a_22)) (fun a_28 b_29)]
                    (lam
                      s_31
                      [(lam a_22 (type) (fix self_23 (fun self_23 a_22))) (fun a_28 b_29)]
                      (lam
                        x_32
                        a_28
                        [
                          [
                            f_30
                            [
                              {
                                (abs
                                  a_26
                                  (type)
                                  (lam
                                    s_27
                                    [(lam a_24 (type) (fix self_25 (fun self_25 a_24))) a_26]
                                    [ (unwrap s_27) s_27 ]
                                  )
                                )
                                (fun a_28 b_29)
                              }
                              s_31
                            ]
                          ]
                          x_32
                        ]
                      )
                    )
                  )
                ]
              )
            )
          )
          (all a_21 (type) (fun a_21 a_21))
        }
        (all tuple_matchOut_0 (type) (fun (fun (fun [(con integer) (con 64)] [(con integer) (con 64)]) tuple_matchOut_0) tuple_matchOut_0))
      }
      (lam
        arg_33
        (fun (all a_36 (type) (fun a_36 a_36)) (all tuple_matchOut_0 (type) (fun (fun (fun [(con integer) (con 64)] [(con integer) (con 64)]) tuple_matchOut_0) tuple_matchOut_0)))
        [
          (lam
            tuple_1
            (all tuple_matchOut_0 (type) (fun (fun (fun [(con integer) (con 64)] [(con integer) (con 64)]) tuple_matchOut_0) tuple_matchOut_0))
            [
              tuple_1
              (lam
                fib_2
                (fun [(con integer) (con 64)] [(con integer) (con 64)])
                [
                  (lam
                    tuple_arg0_20
                    (fun [(con integer) (con 64)] [(con integer) (con 64)])
                    (abs
                      tuple_matchOut_18
                      (type)
                      (lam
                        c_19
                        (fun (fun [(con integer) (con 64)] [(con integer) (con 64)]) tuple_matchOut_18)
                        [ c_19 tuple_arg0_20 ]
                      )
                    )
                  )
                  (lam
                    n_3
                    [(con integer) (con 64)]
                    [
                      [
                        [
                          {
                            [
                              [ { (con equalsInteger) (con 64) } n_3 ]
                              (con 64 ! 0)
                            ]
                            (fun (all a_4 (type) (fun a_4 a_4)) [(con integer) (con 64)])
                          }
                          (lam
                            thunk_12
                            (all a_13 (type) (fun a_13 a_13))
                            [
                              [
                                [
                                  {
                                    [
                                      [ { (con equalsInteger) (con 64) } n_3 ]
                                      (con 64 ! 1)
                                    ]
                                    (fun (all a_5 (type) (fun a_5 a_5)) [(con integer) (con 64)])
                                  }
                                  (lam
                                    thunk_6
                                    (all a_7 (type) (fun a_7 a_7))
                                    [
                                      [
                                        { (con addInteger) (con 64) }
                                        [
                                          fib_2
                                          [
                                            [
                                              { (con subtractInteger) (con 64) }
                                              n_3
                                            ]
                                            (con 64 ! 1)
                                          ]
                                        ]
                                      ]
                                      [
                                        fib_2
                                        [
                                          [
                                            { (con subtractInteger) (con 64) }
                                            n_3
                                          ]
                                          (con 64 ! 2)
                                        ]
                                      ]
                                    ]
                                  )
                                ]
                                (lam
                                  thunk_8
                                  (all a_9 (type) (fun a_9 a_9))
                                  (con 64 ! 1)
                                )
                              ]
                              (abs a_10 (type) (lam x_11 a_10 x_11))
                            ]
                          )
                        ]
                        (lam
                          thunk_14
                          (all a_15 (type) (fun a_15 a_15))
                          (con 64 ! 0)
                        )
                      ]
                      (abs a_16 (type) (lam x_17 a_16 x_17))
                    ]
                  )
                ]
              )
            ]
          )
          [ arg_33 (abs a_34 (type) (lam x_35 a_34 x_35)) ]
        ]
      )
    ]
  ]
)