pragma solidity ^0.5.0; import "./B.sol"; contract C is B { bool foo; }