pragma solidity 0.4.18; contract Arithmetic_Test { function withdraw(uint _amount) { require(balances[msg.sender] - _amount > 0); msg.sender.transfer(_amount); balances[msg.sender] -= _amount; } } 0.4.18