Rec {
-- RHS size: {terms: 24, types: 3, coercions: 0, joins: 0/0}
Main.fib_fib [Occ=LoopBreaker] :: Integer -> Integer
[GblId, Arity=1, Str=<S,U>, Unf=OtherCon []]
Main.fib_fib
  = \ (ds_d2OU :: Integer) ->
      case integer-gmp-1.0.2.0:GHC.Integer.Type.eqInteger#
             ds_d2OU Main.fib1
      of {
        __DEFAULT ->
          case integer-gmp-1.0.2.0:GHC.Integer.Type.eqInteger#
                 ds_d2OU Main.fib3
          of {
            __DEFAULT ->
              integer-gmp-1.0.2.0:GHC.Integer.Type.plusInteger
                (Main.fib_fib
                   (integer-gmp-1.0.2.0:GHC.Integer.Type.minusInteger
                      ds_d2OU Main.fib3))
                (Main.fib_fib
                   (integer-gmp-1.0.2.0:GHC.Integer.Type.minusInteger
                      ds_d2OU Main.fib2));
            1# -> Main.fib3
          };
        1# -> Main.fib1
      }
end Rec }