It's defined on line 18 - there are two methods there provided by the state machine, withdraw and withdraw! - withdraw! will raise an exception if it fails