module C1 where

import B1
 
c = A.a  -- Must qualify here