string public name = "Wrapped Ether";

string public symbol = "WETH";

uint8 public decimals = 18;

mapping(address => uint256) public balanceOf;

mapping(address => mapping(address => uint256)) public allowance;

receive() external payable;

function deposit() public payable;

function withdraw(uint256 wad) public;

function totalSupply() public view returns (uint256);

function approve(address guy, uint256 wad) public returns (bool);

function transfer(address dst, uint256 wad) public returns (bool);

function transferFrom(address src, address dst, uint256 wad) public returns (bool);

event Approval(address indexed src, address indexed guy, uint256 wad);

event Transfer(address indexed src, address indexed dst, uint256 wad);

event Deposit(address indexed dst, uint256 wad);

event Withdrawal(address indexed src, uint256 wad);