methods {
    owner() returns (address) envfree
    pendingOwner() returns (address) envfree
    transferOwnership(address)
    acceptOwnership()
    renounceOwnership()
}