module SafeRecomp02_A where g :: Int g = 1