function allowance(address owner, address spender) view returns (uint256)

function balanceOf(address) view returns (uint256)

function decimals() view returns (uint8)

function getBalanceOf(address account) view returns (uint256)

function getTotalSupply() view returns (uint256)

function initialized() view returns (bool)

function market() view returns (address)

function name() view returns (string)

function symbol() view returns (string)

function thalesAMM() view returns (address)

function totalSupply() view returns (uint256)

function approve(address _spender, uint256 _value) returns (bool success)

function exercise(address claimant)

function exerciseWithAmount(address claimant, uint256 amount)

function expire(address beneficiary)

function initialize(string _name, string _symbol, address _thalesAMM)

function mint(address minter, uint256 amount)

function transfer(address _to, uint256 _value) returns (bool success)

function transferFrom(address _from, address _to, uint256 _value) returns (bool success)

event Approval(address indexed owner, address indexed spender, uint256 value)

event Burned(address indexed account, uint256 value)

event Issued(address indexed account, uint256 value)

event Transfer(address indexed from, address indexed to, uint256 value)