module B.C ( c ) where c = 1