module T8696B (b) where
import T8696A (a)
b :: Int
b = a+1