f_0 :: GHC.Base.Maybe GHC.Types.Int -> GHC.Types.Int
f_0 (GHC.Base.Nothing) = 3
f_0 (GHC.Base.Just x_1) = x