module C2 where

import B2 
 
c = a  -- No need to qualify here