module RefineC where

c1 :: String
c1 = "c1"