interface IToken { // brief ERC-20 interface
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
}
function balanceOf(address account) external view returns (uint256);

// brief ERC-20 interface