ETH Price: $2,509.06 (-1.52%)

Transaction Decoder

Block:
19493345 at Mar-22-2024 11:10:23 PM +UTC
Transaction Fee:
0.001391199577167522 ETH $3.49
Gas Used:
71,763 Gas / 19.386028694 Gwei

Emitted Events:

191 ProxyERC20.Approval( owner=[Sender] 0x8ef5e727e5f503032147789bb426c4d6e729c17e, spender=0x00000000...43aC78BA3, value=115792089237316195423570985008687907853269984665640564039457584007913129639935 )

Account State Difference:

  Address   Before After State Difference Code
3.714576846088879928 Eth3.714584022388879928 Eth0.0000071763
0x5b1b5fEa...2385381dD
(Synthetix: Token State Synthetix)
0x8ef5E727...6E729c17E
0.470685529298053494 Eth
Nonce: 750
0.469294329720885972 Eth
Nonce: 751
0.001391199577167522
0xd711709e...69c9421B3

Execution Trace

ProxyERC20.approve( spender=0x000000000022D473030F116dDEE9F6B43aC78BA3, value=115792089237316195423570985008687907853269984665640564039457584007913129639935 ) => ( True )
  • Synthetix.setMessageSender( sender=0x8ef5E727E5f503032147789bB426c4D6E729c17E )
  • Synthetix.approve( spender=0x000000000022D473030F116dDEE9F6B43aC78BA3, value=115792089237316195423570985008687907853269984665640564039457584007913129639935 ) => ( True )
    • TokenState.setAllowance( tokenOwner=0x8ef5E727E5f503032147789bB426c4D6E729c17E, spender=0x000000000022D473030F116dDEE9F6B43aC78BA3, value=115792089237316195423570985008687907853269984665640564039457584007913129639935 )
    • ProxyERC20._emit( callData=0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF, numTopics=3, topic1=8C5BE1E5EBEC7D5BD14F71427D1E84F3DD0314C0F7B2291E5B200AC8C7C3B925, topic2=0000000000000000000000008EF5E727E5F503032147789BB426C4D6E729C17E, topic3=000000000000000000000000000000000022D473030F116DDEE9F6B43AC78BA3, topic4=0000000000000000000000000000000000000000000000000000000000000000 )
      File 1 of 3: ProxyERC20
      /* ===============================================
      * Flattened with Solidifier by Coinage
      * 
      * https://solidifier.coina.ge
      * ===============================================
      */
      
      
      /*
      -----------------------------------------------------------------
      FILE INFORMATION
      -----------------------------------------------------------------
      
      file:       Owned.sol
      version:    1.1
      author:     Anton Jurisevic
                  Dominic Romanowski
      
      date:       2018-2-26
      
      -----------------------------------------------------------------
      MODULE DESCRIPTION
      -----------------------------------------------------------------
      
      An Owned contract, to be inherited by other contracts.
      Requires its owner to be explicitly set in the constructor.
      Provides an onlyOwner access modifier.
      
      To change owner, the current owner must nominate the next owner,
      who then has to accept the nomination. The nomination can be
      cancelled before it is accepted by the new owner by having the
      previous owner change the nomination (setting it to 0).
      
      -----------------------------------------------------------------
      */
      
      pragma solidity 0.4.25;
      
      /**
       * @title A contract with an owner.
       * @notice Contract ownership can be transferred by first nominating the new owner,
       * who must then accept the ownership, which prevents accidental incorrect ownership transfers.
       */
      contract Owned {
          address public owner;
          address public nominatedOwner;
      
          /**
           * @dev Owned Constructor
           */
          constructor(address _owner)
              public
          {
              require(_owner != address(0), "Owner address cannot be 0");
              owner = _owner;
              emit OwnerChanged(address(0), _owner);
          }
      
          /**
           * @notice Nominate a new owner of this contract.
           * @dev Only the current owner may nominate a new owner.
           */
          function nominateNewOwner(address _owner)
              external
              onlyOwner
          {
              nominatedOwner = _owner;
              emit OwnerNominated(_owner);
          }
      
          /**
           * @notice Accept the nomination to be owner.
           */
          function acceptOwnership()
              external
          {
              require(msg.sender == nominatedOwner, "You must be nominated before you can accept ownership");
              emit OwnerChanged(owner, nominatedOwner);
              owner = nominatedOwner;
              nominatedOwner = address(0);
          }
      
          modifier onlyOwner
          {
              require(msg.sender == owner, "Only the contract owner may perform this action");
              _;
          }
      
          event OwnerNominated(address newOwner);
          event OwnerChanged(address oldOwner, address newOwner);
      }
      
      
      /*
      -----------------------------------------------------------------
      FILE INFORMATION
      -----------------------------------------------------------------
      
      file:       Proxy.sol
      version:    1.3
      author:     Anton Jurisevic
      
      date:       2018-05-29
      
      -----------------------------------------------------------------
      MODULE DESCRIPTION
      -----------------------------------------------------------------
      
      A proxy contract that, if it does not recognise the function
      being called on it, passes all value and call data to an
      underlying target contract.
      
      This proxy has the capacity to toggle between DELEGATECALL
      and CALL style proxy functionality.
      
      The former executes in the proxy's context, and so will preserve 
      msg.sender and store data at the proxy address. The latter will not.
      Therefore, any contract the proxy wraps in the CALL style must
      implement the Proxyable interface, in order that it can pass msg.sender
      into the underlying contract as the state parameter, messageSender.
      
      -----------------------------------------------------------------
      */
      
      
      contract Proxy is Owned {
      
          Proxyable public target;
          bool public useDELEGATECALL;
      
          constructor(address _owner)
              Owned(_owner)
              public
          {}
      
          function setTarget(Proxyable _target)
              external
              onlyOwner
          {
              target = _target;
              emit TargetUpdated(_target);
          }
      
          function setUseDELEGATECALL(bool value) 
              external
              onlyOwner
          {
              useDELEGATECALL = value;
          }
      
          function _emit(bytes callData, uint numTopics, bytes32 topic1, bytes32 topic2, bytes32 topic3, bytes32 topic4)
              external
              onlyTarget
          {
              uint size = callData.length;
              bytes memory _callData = callData;
      
              assembly {
                  /* The first 32 bytes of callData contain its length (as specified by the abi). 
                   * Length is assumed to be a uint256 and therefore maximum of 32 bytes
                   * in length. It is also leftpadded to be a multiple of 32 bytes.
                   * This means moving call_data across 32 bytes guarantees we correctly access
                   * the data itself. */
                  switch numTopics
                  case 0 {
                      log0(add(_callData, 32), size)
                  } 
                  case 1 {
                      log1(add(_callData, 32), size, topic1)
                  }
                  case 2 {
                      log2(add(_callData, 32), size, topic1, topic2)
                  }
                  case 3 {
                      log3(add(_callData, 32), size, topic1, topic2, topic3)
                  }
                  case 4 {
                      log4(add(_callData, 32), size, topic1, topic2, topic3, topic4)
                  }
              }
          }
      
          function()
              external
              payable
          {
              if (useDELEGATECALL) {
                  assembly {
                      /* Copy call data into free memory region. */
                      let free_ptr := mload(0x40)
                      calldatacopy(free_ptr, 0, calldatasize)
      
                      /* Forward all gas and call data to the target contract. */
                      let result := delegatecall(gas, sload(target_slot), free_ptr, calldatasize, 0, 0)
                      returndatacopy(free_ptr, 0, returndatasize)
      
                      /* Revert if the call failed, otherwise return the result. */
                      if iszero(result) { revert(free_ptr, returndatasize) }
                      return(free_ptr, returndatasize)
                  }
              } else {
                  /* Here we are as above, but must send the messageSender explicitly 
                   * since we are using CALL rather than DELEGATECALL. */
                  target.setMessageSender(msg.sender);
                  assembly {
                      let free_ptr := mload(0x40)
                      calldatacopy(free_ptr, 0, calldatasize)
      
                      /* We must explicitly forward ether to the underlying contract as well. */
                      let result := call(gas, sload(target_slot), callvalue, free_ptr, calldatasize, 0, 0)
                      returndatacopy(free_ptr, 0, returndatasize)
      
                      if iszero(result) { revert(free_ptr, returndatasize) }
                      return(free_ptr, returndatasize)
                  }
              }
          }
      
          modifier onlyTarget {
              require(Proxyable(msg.sender) == target, "Must be proxy target");
              _;
          }
      
          event TargetUpdated(Proxyable newTarget);
      }
      
      
      /*
      -----------------------------------------------------------------
      FILE INFORMATION
      -----------------------------------------------------------------
      
      file:       Proxyable.sol
      version:    1.1
      author:     Anton Jurisevic
      
      date:       2018-05-15
      
      checked:    Mike Spain
      approved:   Samuel Brooks
      
      -----------------------------------------------------------------
      MODULE DESCRIPTION
      -----------------------------------------------------------------
      
      A proxyable contract that works hand in hand with the Proxy contract
      to allow for anyone to interact with the underlying contract both
      directly and through the proxy.
      
      -----------------------------------------------------------------
      */
      
      
      // This contract should be treated like an abstract contract
      contract Proxyable is Owned {
          /* The proxy this contract exists behind. */
          Proxy public proxy;
          Proxy public integrationProxy;
      
          /* The caller of the proxy, passed through to this contract.
           * Note that every function using this member must apply the onlyProxy or
           * optionalProxy modifiers, otherwise their invocations can use stale values. */
          address messageSender;
      
          constructor(address _proxy, address _owner)
              Owned(_owner)
              public
          {
              proxy = Proxy(_proxy);
              emit ProxyUpdated(_proxy);
          }
      
          function setProxy(address _proxy)
              external
              onlyOwner
          {
              proxy = Proxy(_proxy);
              emit ProxyUpdated(_proxy);
          }
      
          function setIntegrationProxy(address _integrationProxy)
              external
              onlyOwner
          {
              integrationProxy = Proxy(_integrationProxy);
          }
      
          function setMessageSender(address sender)
              external
              onlyProxy
          {
              messageSender = sender;
          }
      
          modifier onlyProxy {
              require(Proxy(msg.sender) == proxy || Proxy(msg.sender) == integrationProxy, "Only the proxy can call");
              _;
          }
      
          modifier optionalProxy
          {
              if (Proxy(msg.sender) != proxy && Proxy(msg.sender) != integrationProxy) {
                  messageSender = msg.sender;
              }
              _;
          }
      
          modifier optionalProxy_onlyOwner
          {
              if (Proxy(msg.sender) != proxy && Proxy(msg.sender) != integrationProxy) {
                  messageSender = msg.sender;
              }
              require(messageSender == owner, "Owner only function");
              _;
          }
      
          event ProxyUpdated(address proxyAddress);
      }
      
      
      /**
       * @title ERC20 interface
       * @dev see https://github.com/ethereum/EIPs/issues/20
       */
      contract IERC20 {
          function totalSupply() public view returns (uint);
      
          function balanceOf(address owner) public view returns (uint);
      
          function allowance(address owner, address spender) public view returns (uint);
      
          function transfer(address to, uint value) public returns (bool);
      
          function approve(address spender, uint value) public returns (bool);
      
          function transferFrom(address from, address to, uint value) public returns (bool);
      
          // ERC20 Optional
          function name() public view returns (string);
          function symbol() public view returns (string);
          function decimals() public view returns (uint8);
      
          event Transfer(
            address indexed from,
            address indexed to,
            uint value
          );
      
          event Approval(
            address indexed owner,
            address indexed spender,
            uint value
          );
      }
      
      
      /*
      -----------------------------------------------------------------
      FILE INFORMATION
      -----------------------------------------------------------------
      
      file:       ProxyERC20.sol
      version:    1.0
      author:     Jackson Chan, Clinton Ennis
      
      date:       2019-06-19
      
      -----------------------------------------------------------------
      MODULE DESCRIPTION
      -----------------------------------------------------------------
      
      A proxy contract that is ERC20 compliant for the Synthetix Network.
      
      If it does not recognise a function being called on it, passes all
      value and call data to an underlying target contract.
      
      The ERC20 standard has been explicitly implemented to ensure
      contract to contract calls are compatable on MAINNET
      
      -----------------------------------------------------------------
      */
      
      
      contract ProxyERC20 is Proxy, IERC20 {
      
          constructor(address _owner)
              Proxy(_owner)
              public
          {}
      
          // ------------- ERC20 Details ------------- //
      
          function name() public view returns (string){
              // Immutable static call from target contract
              return IERC20(target).name();
          }
      
          function symbol() public view returns (string){
               // Immutable static call from target contract
              return IERC20(target).symbol();
          }
      
          function decimals() public view returns (uint8){
               // Immutable static call from target contract
              return IERC20(target).decimals();
          }
      
          // ------------- ERC20 Interface ------------- //
      
          /**
          * @dev Total number of tokens in existence
          */
          function totalSupply() public view returns (uint256) {
              // Immutable static call from target contract
              return IERC20(target).totalSupply();
          }
      
          /**
          * @dev Gets the balance of the specified address.
          * @param owner The address to query the balance of.
          * @return An uint256 representing the amount owned by the passed address.
          */
          function balanceOf(address owner) public view returns (uint256) {
              // Immutable static call from target contract
              return IERC20(target).balanceOf(owner);
          }
      
          /**
          * @dev Function to check the amount of tokens that an owner allowed to a spender.
          * @param owner address The address which owns the funds.
          * @param spender address The address which will spend the funds.
          * @return A uint256 specifying the amount of tokens still available for the spender.
          */
          function allowance(
              address owner,
              address spender
          )
              public
              view
              returns (uint256)
          {
              // Immutable static call from target contract
              return IERC20(target).allowance(owner, spender);
          }
      
          /**
          * @dev Transfer token for a specified address
          * @param to The address to transfer to.
          * @param value The amount to be transferred.
          */
          function transfer(address to, uint256 value) public returns (bool) {
              // Mutable state call requires the proxy to tell the target who the msg.sender is.
              target.setMessageSender(msg.sender);
      
              // Forward the ERC20 call to the target contract
              IERC20(target).transfer(to, value);
      
              // Event emitting will occur via Synthetix.Proxy._emit()
              return true;
          }
      
          /**
          * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
          * Beware that changing an allowance with this method brings the risk that someone may use both the old
          * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
          * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
          * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
          * @param spender The address which will spend the funds.
          * @param value The amount of tokens to be spent.
          */
          function approve(address spender, uint256 value) public returns (bool) {
              // Mutable state call requires the proxy to tell the target who the msg.sender is.
              target.setMessageSender(msg.sender);
      
              // Forward the ERC20 call to the target contract
              IERC20(target).approve(spender, value);
      
              // Event emitting will occur via Synthetix.Proxy._emit()
              return true;
          }
      
          /**
          * @dev Transfer tokens from one address to another
          * @param from address The address which you want to send tokens from
          * @param to address The address which you want to transfer to
          * @param value uint256 the amount of tokens to be transferred
          */
          function transferFrom(
              address from,
              address to,
              uint256 value
          )
              public
              returns (bool)
          {
              // Mutable state call requires the proxy to tell the target who the msg.sender is.
              target.setMessageSender(msg.sender);
      
              // Forward the ERC20 call to the target contract
              IERC20(target).transferFrom(from, to, value);
      
              // Event emitting will occur via Synthetix.Proxy._emit()
              return true;
          }
      }
      
      

      File 2 of 3: Synthetix
      /*
      
      ⚠⚠⚠ WARNING WARNING WARNING ⚠⚠⚠
      
      This is a TARGET contract - DO NOT CONNECT TO IT DIRECTLY IN YOUR CONTRACTS or DAPPS!
      
      This contract has an associated PROXY that MUST be used for all integrations - this TARGET will be REPLACED in an upcoming Synthetix release!
      The proxy for this contract can be found here:
      
      https://contracts.synthetix.io/ProxySynthetix
      
      *//*
         ____            __   __        __   _
        / __/__ __ ___  / /_ / /  ___  / /_ (_)__ __
       _\ \ / // // _ \/ __// _ \/ -_)/ __// / \ \ /
      /___/ \_, //_//_/\__//_//_/\__/ \__//_/ /_\_\
           /___/
      
      * Synthetix: Synthetix.sol
      *
      * Latest source (may be newer): https://github.com/Synthetixio/synthetix/blob/master/contracts/Synthetix.sol
      * Docs: https://docs.synthetix.io/contracts/Synthetix
      *
      * Contract Dependencies: 
      *	- BaseSynthetix
      *	- ExternStateToken
      *	- IAddressResolver
      *	- IERC20
      *	- ISynthetix
      *	- MixinResolver
      *	- Owned
      *	- Proxyable
      *	- State
      * Libraries: 
      *	- SafeDecimalMath
      *	- SafeMath
      *	- VestingEntries
      *
      * MIT License
      * ===========
      *
      * Copyright (c) 2024 Synthetix
      *
      * Permission is hereby granted, free of charge, to any person obtaining a copy
      * of this software and associated documentation files (the "Software"), to deal
      * in the Software without restriction, including without limitation the rights
      * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
      * copies of the Software, and to permit persons to whom the Software is
      * furnished to do so, subject to the following conditions:
      *
      * The above copyright notice and this permission notice shall be included in all
      * copies or substantial portions of the Software.
      *
      * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
      * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
      * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
      * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
      * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
      * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
      */
      
      
      
      pragma solidity >=0.4.24;
      
      // https://docs.synthetix.io/contracts/source/interfaces/ierc20
      interface IERC20 {
          // ERC20 Optional Views
          function name() external view returns (string memory);
      
          function symbol() external view returns (string memory);
      
          function decimals() external view returns (uint8);
      
          // Views
          function totalSupply() external view returns (uint);
      
          function balanceOf(address owner) external view returns (uint);
      
          function allowance(address owner, address spender) external view returns (uint);
      
          // Mutative functions
          function transfer(address to, uint value) external returns (bool);
      
          function approve(address spender, uint value) external returns (bool);
      
          function transferFrom(
              address from,
              address to,
              uint value
          ) external returns (bool);
      
          // Events
          event Transfer(address indexed from, address indexed to, uint value);
      
          event Approval(address indexed owner, address indexed spender, uint value);
      }
      
      
      // https://docs.synthetix.io/contracts/source/contracts/owned
      contract Owned {
          address public owner;
          address public nominatedOwner;
      
          constructor(address _owner) public {
              require(_owner != address(0), "Owner address cannot be 0");
              owner = _owner;
              emit OwnerChanged(address(0), _owner);
          }
      
          function nominateNewOwner(address _owner) external onlyOwner {
              nominatedOwner = _owner;
              emit OwnerNominated(_owner);
          }
      
          function acceptOwnership() external {
              require(msg.sender == nominatedOwner, "You must be nominated before you can accept ownership");
              emit OwnerChanged(owner, nominatedOwner);
              owner = nominatedOwner;
              nominatedOwner = address(0);
          }
      
          modifier onlyOwner {
              _onlyOwner();
              _;
          }
      
          function _onlyOwner() private view {
              require(msg.sender == owner, "Only the contract owner may perform this action");
          }
      
          event OwnerNominated(address newOwner);
          event OwnerChanged(address oldOwner, address newOwner);
      }
      
      
      // Inheritance
      
      
      // Internal references
      
      
      // https://docs.synthetix.io/contracts/source/contracts/proxy
      contract Proxy is Owned {
          Proxyable public target;
      
          constructor(address _owner) public Owned(_owner) {}
      
          function setTarget(Proxyable _target) external onlyOwner {
              target = _target;
              emit TargetUpdated(_target);
          }
      
          function _emit(
              bytes calldata callData,
              uint numTopics,
              bytes32 topic1,
              bytes32 topic2,
              bytes32 topic3,
              bytes32 topic4
          ) external onlyTarget {
              uint size = callData.length;
              bytes memory _callData = callData;
      
              assembly {
                  /* The first 32 bytes of callData contain its length (as specified by the abi).
                   * Length is assumed to be a uint256 and therefore maximum of 32 bytes
                   * in length. It is also leftpadded to be a multiple of 32 bytes.
                   * This means moving call_data across 32 bytes guarantees we correctly access
                   * the data itself. */
                  switch numTopics
                      case 0 {
                          log0(add(_callData, 32), size)
                      }
                      case 1 {
                          log1(add(_callData, 32), size, topic1)
                      }
                      case 2 {
                          log2(add(_callData, 32), size, topic1, topic2)
                      }
                      case 3 {
                          log3(add(_callData, 32), size, topic1, topic2, topic3)
                      }
                      case 4 {
                          log4(add(_callData, 32), size, topic1, topic2, topic3, topic4)
                      }
              }
          }
      
          // solhint-disable no-complex-fallback
          function() external payable {
              // Mutable call setting Proxyable.messageSender as this is using call not delegatecall
              target.setMessageSender(msg.sender);
      
              assembly {
                  let free_ptr := mload(0x40)
                  calldatacopy(free_ptr, 0, calldatasize)
      
                  /* We must explicitly forward ether to the underlying contract as well. */
                  let result := call(gas, sload(target_slot), callvalue, free_ptr, calldatasize, 0, 0)
                  returndatacopy(free_ptr, 0, returndatasize)
      
                  if iszero(result) {
                      revert(free_ptr, returndatasize)
                  }
                  return(free_ptr, returndatasize)
              }
          }
      
          modifier onlyTarget {
              require(Proxyable(msg.sender) == target, "Must be proxy target");
              _;
          }
      
          event TargetUpdated(Proxyable newTarget);
      }
      
      
      // Inheritance
      
      
      // Internal references
      
      
      // https://docs.synthetix.io/contracts/source/contracts/proxyable
      contract Proxyable is Owned {
          // This contract should be treated like an abstract contract
      
          /* The proxy this contract exists behind. */
          Proxy public proxy;
      
          /* The caller of the proxy, passed through to this contract.
           * Note that every function using this member must apply the onlyProxy or
           * optionalProxy modifiers, otherwise their invocations can use stale values. */
          address public messageSender;
      
          constructor(address payable _proxy) internal {
              // This contract is abstract, and thus cannot be instantiated directly
              require(owner != address(0), "Owner must be set");
      
              proxy = Proxy(_proxy);
              emit ProxyUpdated(_proxy);
          }
      
          function setProxy(address payable _proxy) external onlyOwner {
              proxy = Proxy(_proxy);
              emit ProxyUpdated(_proxy);
          }
      
          function setMessageSender(address sender) external onlyProxy {
              messageSender = sender;
          }
      
          modifier onlyProxy {
              _onlyProxy();
              _;
          }
      
          function _onlyProxy() private view {
              require(Proxy(msg.sender) == proxy, "Only the proxy can call");
          }
      
          modifier optionalProxy {
              _optionalProxy();
              _;
          }
      
          function _optionalProxy() private {
              if (Proxy(msg.sender) != proxy && messageSender != msg.sender) {
                  messageSender = msg.sender;
              }
          }
      
          modifier optionalProxy_onlyOwner {
              _optionalProxy_onlyOwner();
              _;
          }
      
          // solhint-disable-next-line func-name-mixedcase
          function _optionalProxy_onlyOwner() private {
              if (Proxy(msg.sender) != proxy && messageSender != msg.sender) {
                  messageSender = msg.sender;
              }
              require(messageSender == owner, "Owner only function");
          }
      
          event ProxyUpdated(address proxyAddress);
      }
      
      
      /**
       * @dev Wrappers over Solidity's arithmetic operations with added overflow
       * checks.
       *
       * Arithmetic operations in Solidity wrap on overflow. This can easily result
       * in bugs, because programmers usually assume that an overflow raises an
       * error, which is the standard behavior in high level programming languages.
       * `SafeMath` restores this intuition by reverting the transaction when an
       * operation overflows.
       *
       * Using this library instead of the unchecked operations eliminates an entire
       * class of bugs, so it's recommended to use it always.
       */
      library SafeMath {
          /**
           * @dev Returns the addition of two unsigned integers, reverting on
           * overflow.
           *
           * Counterpart to Solidity's `+` operator.
           *
           * Requirements:
           * - Addition cannot overflow.
           */
          function add(uint256 a, uint256 b) internal pure returns (uint256) {
              uint256 c = a + b;
              require(c >= a, "SafeMath: addition overflow");
      
              return c;
          }
      
          /**
           * @dev Returns the subtraction of two unsigned integers, reverting on
           * overflow (when the result is negative).
           *
           * Counterpart to Solidity's `-` operator.
           *
           * Requirements:
           * - Subtraction cannot overflow.
           */
          function sub(uint256 a, uint256 b) internal pure returns (uint256) {
              require(b <= a, "SafeMath: subtraction overflow");
              uint256 c = a - b;
      
              return c;
          }
      
          /**
           * @dev Returns the multiplication of two unsigned integers, reverting on
           * overflow.
           *
           * Counterpart to Solidity's `*` operator.
           *
           * Requirements:
           * - Multiplication cannot overflow.
           */
          function mul(uint256 a, uint256 b) internal pure returns (uint256) {
              // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
              // benefit is lost if 'b' is also tested.
              // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
              if (a == 0) {
                  return 0;
              }
      
              uint256 c = a * b;
              require(c / a == b, "SafeMath: multiplication overflow");
      
              return c;
          }
      
          /**
           * @dev Returns the integer division of two unsigned integers. Reverts on
           * division by zero. The result is rounded towards zero.
           *
           * Counterpart to Solidity's `/` operator. Note: this function uses a
           * `revert` opcode (which leaves remaining gas untouched) while Solidity
           * uses an invalid opcode to revert (consuming all remaining gas).
           *
           * Requirements:
           * - The divisor cannot be zero.
           */
          function div(uint256 a, uint256 b) internal pure returns (uint256) {
              // Solidity only automatically asserts when dividing by 0
              require(b > 0, "SafeMath: division by zero");
              uint256 c = a / b;
              // assert(a == b * c + a % b); // There is no case in which this doesn't hold
      
              return c;
          }
      
          /**
           * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
           * Reverts when dividing by zero.
           *
           * Counterpart to Solidity's `%` operator. This function uses a `revert`
           * opcode (which leaves remaining gas untouched) while Solidity uses an
           * invalid opcode to revert (consuming all remaining gas).
           *
           * Requirements:
           * - The divisor cannot be zero.
           */
          function mod(uint256 a, uint256 b) internal pure returns (uint256) {
              require(b != 0, "SafeMath: modulo by zero");
              return a % b;
          }
      }
      
      
      // Libraries
      
      
      // https://docs.synthetix.io/contracts/source/libraries/safedecimalmath
      library SafeDecimalMath {
          using SafeMath for uint;
      
          /* Number of decimal places in the representations. */
          uint8 public constant decimals = 18;
          uint8 public constant highPrecisionDecimals = 27;
      
          /* The number representing 1.0. */
          uint public constant UNIT = 10**uint(decimals);
      
          /* The number representing 1.0 for higher fidelity numbers. */
          uint public constant PRECISE_UNIT = 10**uint(highPrecisionDecimals);
          uint private constant UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR = 10**uint(highPrecisionDecimals - decimals);
      
          /**
           * @return Provides an interface to UNIT.
           */
          function unit() external pure returns (uint) {
              return UNIT;
          }
      
          /**
           * @return Provides an interface to PRECISE_UNIT.
           */
          function preciseUnit() external pure returns (uint) {
              return PRECISE_UNIT;
          }
      
          /**
           * @return The result of multiplying x and y, interpreting the operands as fixed-point
           * decimals.
           *
           * @dev A unit factor is divided out after the product of x and y is evaluated,
           * so that product must be less than 2**256. As this is an integer division,
           * the internal division always rounds down. This helps save on gas. Rounding
           * is more expensive on gas.
           */
          function multiplyDecimal(uint x, uint y) internal pure returns (uint) {
              /* Divide by UNIT to remove the extra factor introduced by the product. */
              return x.mul(y) / UNIT;
          }
      
          /**
           * @return The result of safely multiplying x and y, interpreting the operands
           * as fixed-point decimals of the specified precision unit.
           *
           * @dev The operands should be in the form of a the specified unit factor which will be
           * divided out after the product of x and y is evaluated, so that product must be
           * less than 2**256.
           *
           * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
           * Rounding is useful when you need to retain fidelity for small decimal numbers
           * (eg. small fractions or percentages).
           */
          function _multiplyDecimalRound(
              uint x,
              uint y,
              uint precisionUnit
          ) private pure returns (uint) {
              /* Divide by UNIT to remove the extra factor introduced by the product. */
              uint quotientTimesTen = x.mul(y) / (precisionUnit / 10);
      
              if (quotientTimesTen % 10 >= 5) {
                  quotientTimesTen += 10;
              }
      
              return quotientTimesTen / 10;
          }
      
          /**
           * @return The result of safely multiplying x and y, interpreting the operands
           * as fixed-point decimals of a precise unit.
           *
           * @dev The operands should be in the precise unit factor which will be
           * divided out after the product of x and y is evaluated, so that product must be
           * less than 2**256.
           *
           * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
           * Rounding is useful when you need to retain fidelity for small decimal numbers
           * (eg. small fractions or percentages).
           */
          function multiplyDecimalRoundPrecise(uint x, uint y) internal pure returns (uint) {
              return _multiplyDecimalRound(x, y, PRECISE_UNIT);
          }
      
          /**
           * @return The result of safely multiplying x and y, interpreting the operands
           * as fixed-point decimals of a standard unit.
           *
           * @dev The operands should be in the standard unit factor which will be
           * divided out after the product of x and y is evaluated, so that product must be
           * less than 2**256.
           *
           * Unlike multiplyDecimal, this function rounds the result to the nearest increment.
           * Rounding is useful when you need to retain fidelity for small decimal numbers
           * (eg. small fractions or percentages).
           */
          function multiplyDecimalRound(uint x, uint y) internal pure returns (uint) {
              return _multiplyDecimalRound(x, y, UNIT);
          }
      
          /**
           * @return The result of safely dividing x and y. The return value is a high
           * precision decimal.
           *
           * @dev y is divided after the product of x and the standard precision unit
           * is evaluated, so the product of x and UNIT must be less than 2**256. As
           * this is an integer division, the result is always rounded down.
           * This helps save on gas. Rounding is more expensive on gas.
           */
          function divideDecimal(uint x, uint y) internal pure returns (uint) {
              /* Reintroduce the UNIT factor that will be divided out by y. */
              return x.mul(UNIT).div(y);
          }
      
          /**
           * @return The result of safely dividing x and y. The return value is as a rounded
           * decimal in the precision unit specified in the parameter.
           *
           * @dev y is divided after the product of x and the specified precision unit
           * is evaluated, so the product of x and the specified precision unit must
           * be less than 2**256. The result is rounded to the nearest increment.
           */
          function _divideDecimalRound(
              uint x,
              uint y,
              uint precisionUnit
          ) private pure returns (uint) {
              uint resultTimesTen = x.mul(precisionUnit * 10).div(y);
      
              if (resultTimesTen % 10 >= 5) {
                  resultTimesTen += 10;
              }
      
              return resultTimesTen / 10;
          }
      
          /**
           * @return The result of safely dividing x and y. The return value is as a rounded
           * standard precision decimal.
           *
           * @dev y is divided after the product of x and the standard precision unit
           * is evaluated, so the product of x and the standard precision unit must
           * be less than 2**256. The result is rounded to the nearest increment.
           */
          function divideDecimalRound(uint x, uint y) internal pure returns (uint) {
              return _divideDecimalRound(x, y, UNIT);
          }
      
          /**
           * @return The result of safely dividing x and y. The return value is as a rounded
           * high precision decimal.
           *
           * @dev y is divided after the product of x and the high precision unit
           * is evaluated, so the product of x and the high precision unit must
           * be less than 2**256. The result is rounded to the nearest increment.
           */
          function divideDecimalRoundPrecise(uint x, uint y) internal pure returns (uint) {
              return _divideDecimalRound(x, y, PRECISE_UNIT);
          }
      
          /**
           * @dev Convert a standard decimal representation to a high precision one.
           */
          function decimalToPreciseDecimal(uint i) internal pure returns (uint) {
              return i.mul(UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR);
          }
      
          /**
           * @dev Convert a high precision decimal to a standard decimal representation.
           */
          function preciseDecimalToDecimal(uint i) internal pure returns (uint) {
              uint quotientTimesTen = i / (UNIT_TO_HIGH_PRECISION_CONVERSION_FACTOR / 10);
      
              if (quotientTimesTen % 10 >= 5) {
                  quotientTimesTen += 10;
              }
      
              return quotientTimesTen / 10;
          }
      
          // Computes `a - b`, setting the value to 0 if b > a.
          function floorsub(uint a, uint b) internal pure returns (uint) {
              return b >= a ? 0 : a - b;
          }
      
          /* ---------- Utilities ---------- */
          /*
           * Absolute value of the input, returned as a signed number.
           */
          function signedAbs(int x) internal pure returns (int) {
              return x < 0 ? -x : x;
          }
      
          /*
           * Absolute value of the input, returned as an unsigned number.
           */
          function abs(int x) internal pure returns (uint) {
              return uint(signedAbs(x));
          }
      }
      
      
      // Inheritance
      
      
      // https://docs.synthetix.io/contracts/source/contracts/state
      contract State is Owned {
          // the address of the contract that can modify variables
          // this can only be changed by the owner of this contract
          address public associatedContract;
      
          constructor(address _associatedContract) internal {
              // This contract is abstract, and thus cannot be instantiated directly
              require(owner != address(0), "Owner must be set");
      
              associatedContract = _associatedContract;
              emit AssociatedContractUpdated(_associatedContract);
          }
      
          /* ========== SETTERS ========== */
      
          // Change the associated contract to a new address
          function setAssociatedContract(address _associatedContract) external onlyOwner {
              associatedContract = _associatedContract;
              emit AssociatedContractUpdated(_associatedContract);
          }
      
          /* ========== MODIFIERS ========== */
      
          modifier onlyAssociatedContract {
              require(msg.sender == associatedContract, "Only the associated contract can perform this action");
              _;
          }
      
          /* ========== EVENTS ========== */
      
          event AssociatedContractUpdated(address associatedContract);
      }
      
      
      // Inheritance
      
      
      // https://docs.synthetix.io/contracts/source/contracts/tokenstate
      contract TokenState is Owned, State {
          /* ERC20 fields. */
          mapping(address => uint) public balanceOf;
          mapping(address => mapping(address => uint)) public allowance;
      
          constructor(address _owner, address _associatedContract) public Owned(_owner) State(_associatedContract) {}
      
          /* ========== SETTERS ========== */
      
          /**
           * @notice Set ERC20 allowance.
           * @dev Only the associated contract may call this.
           * @param tokenOwner The authorising party.
           * @param spender The authorised party.
           * @param value The total value the authorised party may spend on the
           * authorising party's behalf.
           */
          function setAllowance(
              address tokenOwner,
              address spender,
              uint value
          ) external onlyAssociatedContract {
              allowance[tokenOwner][spender] = value;
          }
      
          /**
           * @notice Set the balance in a given account
           * @dev Only the associated contract may call this.
           * @param account The account whose value to set.
           * @param value The new balance of the given account.
           */
          function setBalanceOf(address account, uint value) external onlyAssociatedContract {
              balanceOf[account] = value;
          }
      }
      
      
      // Inheritance
      
      
      // Libraries
      
      
      // Internal references
      
      
      // https://docs.synthetix.io/contracts/source/contracts/externstatetoken
      contract ExternStateToken is Owned, Proxyable {
          using SafeMath for uint;
          using SafeDecimalMath for uint;
      
          /* ========== STATE VARIABLES ========== */
      
          /* Stores balances and allowances. */
          TokenState public tokenState;
      
          /* Other ERC20 fields. */
          string public name;
          string public symbol;
          uint public totalSupply;
          uint8 public decimals;
      
          constructor(
              address payable _proxy,
              TokenState _tokenState,
              string memory _name,
              string memory _symbol,
              uint _totalSupply,
              uint8 _decimals,
              address _owner
          ) public Owned(_owner) Proxyable(_proxy) {
              tokenState = _tokenState;
      
              name = _name;
              symbol = _symbol;
              totalSupply = _totalSupply;
              decimals = _decimals;
          }
      
          /* ========== VIEWS ========== */
      
          /**
           * @notice Returns the ERC20 allowance of one party to spend on behalf of another.
           * @param owner The party authorising spending of their funds.
           * @param spender The party spending tokenOwner's funds.
           */
          function allowance(address owner, address spender) public view returns (uint) {
              return tokenState.allowance(owner, spender);
          }
      
          /**
           * @notice Returns the ERC20 token balance of a given account.
           */
          function balanceOf(address account) external view returns (uint) {
              return tokenState.balanceOf(account);
          }
      
          /* ========== MUTATIVE FUNCTIONS ========== */
      
          /**
           * @notice Set the address of the TokenState contract.
           * @dev This can be used to "pause" transfer functionality, by pointing the tokenState at 0x000..
           * as balances would be unreachable.
           */
          function setTokenState(TokenState _tokenState) external optionalProxy_onlyOwner {
              tokenState = _tokenState;
              emitTokenStateUpdated(address(_tokenState));
          }
      
          function _internalTransfer(
              address from,
              address to,
              uint value
          ) internal returns (bool) {
              /* Disallow transfers to irretrievable-addresses. */
              require(to != address(0) && to != address(this) && to != address(proxy), "Cannot transfer to this address");
      
              // Insufficient balance will be handled by the safe subtraction.
              tokenState.setBalanceOf(from, tokenState.balanceOf(from).sub(value));
              tokenState.setBalanceOf(to, tokenState.balanceOf(to).add(value));
      
              // Emit a standard ERC20 transfer event
              emitTransfer(from, to, value);
      
              return true;
          }
      
          /**
           * @dev Perform an ERC20 token transfer. Designed to be called by transfer functions possessing
           * the onlyProxy or optionalProxy modifiers.
           */
          function _transferByProxy(
              address from,
              address to,
              uint value
          ) internal returns (bool) {
              return _internalTransfer(from, to, value);
          }
      
          /*
           * @dev Perform an ERC20 token transferFrom. Designed to be called by transferFrom functions
           * possessing the optionalProxy or optionalProxy modifiers.
           */
          function _transferFromByProxy(
              address sender,
              address from,
              address to,
              uint value
          ) internal returns (bool) {
              /* Insufficient allowance will be handled by the safe subtraction. */
              tokenState.setAllowance(from, sender, tokenState.allowance(from, sender).sub(value));
              return _internalTransfer(from, to, value);
          }
      
          /**
           * @notice Approves spender to transfer on the message sender's behalf.
           */
          function approve(address spender, uint value) public optionalProxy returns (bool) {
              address sender = messageSender;
      
              tokenState.setAllowance(sender, spender, value);
              emitApproval(sender, spender, value);
              return true;
          }
      
          /* ========== EVENTS ========== */
          function addressToBytes32(address input) internal pure returns (bytes32) {
              return bytes32(uint256(uint160(input)));
          }
      
          event Transfer(address indexed from, address indexed to, uint value);
          bytes32 internal constant TRANSFER_SIG = keccak256("Transfer(address,address,uint256)");
      
          function emitTransfer(
              address from,
              address to,
              uint value
          ) internal {
              proxy._emit(abi.encode(value), 3, TRANSFER_SIG, addressToBytes32(from), addressToBytes32(to), 0);
          }
      
          event Approval(address indexed owner, address indexed spender, uint value);
          bytes32 internal constant APPROVAL_SIG = keccak256("Approval(address,address,uint256)");
      
          function emitApproval(
              address owner,
              address spender,
              uint value
          ) internal {
              proxy._emit(abi.encode(value), 3, APPROVAL_SIG, addressToBytes32(owner), addressToBytes32(spender), 0);
          }
      
          event TokenStateUpdated(address newTokenState);
          bytes32 internal constant TOKENSTATEUPDATED_SIG = keccak256("TokenStateUpdated(address)");
      
          function emitTokenStateUpdated(address newTokenState) internal {
              proxy._emit(abi.encode(newTokenState), 1, TOKENSTATEUPDATED_SIG, 0, 0, 0);
          }
      }
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/iaddressresolver
      interface IAddressResolver {
          function getAddress(bytes32 name) external view returns (address);
      
          function getSynth(bytes32 key) external view returns (address);
      
          function requireAndGetAddress(bytes32 name, string calldata reason) external view returns (address);
      }
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/isynth
      interface ISynth {
          // Views
          function currencyKey() external view returns (bytes32);
      
          function transferableSynths(address account) external view returns (uint);
      
          // Mutative functions
          function transferAndSettle(address to, uint value) external returns (bool);
      
          function transferFromAndSettle(
              address from,
              address to,
              uint value
          ) external returns (bool);
      
          // Restricted: used internally to Synthetix
          function burn(address account, uint amount) external;
      
          function issue(address account, uint amount) external;
      }
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/iissuer
      interface IIssuer {
          // Views
      
          function allNetworksDebtInfo()
              external
              view
              returns (
                  uint256 debt,
                  uint256 sharesSupply,
                  bool isStale
              );
      
          function anySynthOrSNXRateIsInvalid() external view returns (bool anyRateInvalid);
      
          function availableCurrencyKeys() external view returns (bytes32[] memory);
      
          function availableSynthCount() external view returns (uint);
      
          function availableSynths(uint index) external view returns (ISynth);
      
          function canBurnSynths(address account) external view returns (bool);
      
          function collateral(address account) external view returns (uint);
      
          function collateralisationRatio(address issuer) external view returns (uint);
      
          function collateralisationRatioAndAnyRatesInvalid(address _issuer)
              external
              view
              returns (uint cratio, bool anyRateIsInvalid);
      
          function debtBalanceOf(address issuer, bytes32 currencyKey) external view returns (uint debtBalance);
      
          function issuanceRatio() external view returns (uint);
      
          function lastIssueEvent(address account) external view returns (uint);
      
          function maxIssuableSynths(address issuer) external view returns (uint maxIssuable);
      
          function minimumStakeTime() external view returns (uint);
      
          function remainingIssuableSynths(address issuer)
              external
              view
              returns (
                  uint maxIssuable,
                  uint alreadyIssued,
                  uint totalSystemDebt
              );
      
          function synths(bytes32 currencyKey) external view returns (ISynth);
      
          function getSynths(bytes32[] calldata currencyKeys) external view returns (ISynth[] memory);
      
          function synthsByAddress(address synthAddress) external view returns (bytes32);
      
          function totalIssuedSynths(bytes32 currencyKey, bool excludeOtherCollateral) external view returns (uint);
      
          function transferableSynthetixAndAnyRateIsInvalid(address account, uint balance)
              external
              view
              returns (uint transferable, bool anyRateIsInvalid);
      
          function liquidationAmounts(address account, bool isSelfLiquidation)
              external
              view
              returns (
                  uint totalRedeemed,
                  uint debtToRemove,
                  uint escrowToLiquidate,
                  uint initialDebtBalance
              );
      
          // Restricted: used internally to Synthetix
          function addSynths(ISynth[] calldata synthsToAdd) external;
      
          function issueSynths(address from, uint amount) external;
      
          function issueSynthsOnBehalf(
              address issueFor,
              address from,
              uint amount
          ) external;
      
          function issueMaxSynths(address from) external;
      
          function issueMaxSynthsOnBehalf(address issueFor, address from) external;
      
          function burnSynths(address from, uint amount) external;
      
          function burnSynthsOnBehalf(
              address burnForAddress,
              address from,
              uint amount
          ) external;
      
          function burnSynthsToTarget(address from) external;
      
          function burnSynthsToTargetOnBehalf(address burnForAddress, address from) external;
      
          function burnForRedemption(
              address deprecatedSynthProxy,
              address account,
              uint balance
          ) external;
      
          function setCurrentPeriodId(uint128 periodId) external;
      
          function liquidateAccount(address account, bool isSelfLiquidation)
              external
              returns (
                  uint totalRedeemed,
                  uint debtRemoved,
                  uint escrowToLiquidate
              );
      
          function issueSynthsWithoutDebt(
              bytes32 currencyKey,
              address to,
              uint amount
          ) external returns (bool rateInvalid);
      
          function burnSynthsWithoutDebt(
              bytes32 currencyKey,
              address to,
              uint amount
          ) external returns (bool rateInvalid);
      
          function modifyDebtSharesForMigration(address account, uint amount) external;
      }
      
      
      // Inheritance
      
      
      // Internal references
      
      
      // https://docs.synthetix.io/contracts/source/contracts/addressresolver
      contract AddressResolver is Owned, IAddressResolver {
          mapping(bytes32 => address) public repository;
      
          constructor(address _owner) public Owned(_owner) {}
      
          /* ========== RESTRICTED FUNCTIONS ========== */
      
          function importAddresses(bytes32[] calldata names, address[] calldata destinations) external onlyOwner {
              require(names.length == destinations.length, "Input lengths must match");
      
              for (uint i = 0; i < names.length; i++) {
                  bytes32 name = names[i];
                  address destination = destinations[i];
                  repository[name] = destination;
                  emit AddressImported(name, destination);
              }
          }
      
          /* ========= PUBLIC FUNCTIONS ========== */
      
          function rebuildCaches(MixinResolver[] calldata destinations) external {
              for (uint i = 0; i < destinations.length; i++) {
                  destinations[i].rebuildCache();
              }
          }
      
          /* ========== VIEWS ========== */
      
          function areAddressesImported(bytes32[] calldata names, address[] calldata destinations) external view returns (bool) {
              for (uint i = 0; i < names.length; i++) {
                  if (repository[names[i]] != destinations[i]) {
                      return false;
                  }
              }
              return true;
          }
      
          function getAddress(bytes32 name) external view returns (address) {
              return repository[name];
          }
      
          function requireAndGetAddress(bytes32 name, string calldata reason) external view returns (address) {
              address _foundAddress = repository[name];
              require(_foundAddress != address(0), reason);
              return _foundAddress;
          }
      
          function getSynth(bytes32 key) external view returns (address) {
              IIssuer issuer = IIssuer(repository["Issuer"]);
              require(address(issuer) != address(0), "Cannot find Issuer address");
              return address(issuer.synths(key));
          }
      
          /* ========== EVENTS ========== */
      
          event AddressImported(bytes32 name, address destination);
      }
      
      
      // Internal references
      
      
      // https://docs.synthetix.io/contracts/source/contracts/mixinresolver
      contract MixinResolver {
          AddressResolver public resolver;
      
          mapping(bytes32 => address) private addressCache;
      
          constructor(address _resolver) internal {
              resolver = AddressResolver(_resolver);
          }
      
          /* ========== INTERNAL FUNCTIONS ========== */
      
          function combineArrays(bytes32[] memory first, bytes32[] memory second)
              internal
              pure
              returns (bytes32[] memory combination)
          {
              combination = new bytes32[](first.length + second.length);
      
              for (uint i = 0; i < first.length; i++) {
                  combination[i] = first[i];
              }
      
              for (uint j = 0; j < second.length; j++) {
                  combination[first.length + j] = second[j];
              }
          }
      
          /* ========== PUBLIC FUNCTIONS ========== */
      
          // Note: this function is public not external in order for it to be overridden and invoked via super in subclasses
          function resolverAddressesRequired() public view returns (bytes32[] memory addresses) {}
      
          function rebuildCache() public {
              bytes32[] memory requiredAddresses = resolverAddressesRequired();
              // The resolver must call this function whenver it updates its state
              for (uint i = 0; i < requiredAddresses.length; i++) {
                  bytes32 name = requiredAddresses[i];
                  // Note: can only be invoked once the resolver has all the targets needed added
                  address destination =
                      resolver.requireAndGetAddress(name, string(abi.encodePacked("Resolver missing target: ", name)));
                  addressCache[name] = destination;
                  emit CacheUpdated(name, destination);
              }
          }
      
          /* ========== VIEWS ========== */
      
          function isResolverCached() external view returns (bool) {
              bytes32[] memory requiredAddresses = resolverAddressesRequired();
              for (uint i = 0; i < requiredAddresses.length; i++) {
                  bytes32 name = requiredAddresses[i];
                  // false if our cache is invalid or if the resolver doesn't have the required address
                  if (resolver.getAddress(name) != addressCache[name] || addressCache[name] == address(0)) {
                      return false;
                  }
              }
      
              return true;
          }
      
          /* ========== INTERNAL FUNCTIONS ========== */
      
          function requireAndGetAddress(bytes32 name) internal view returns (address) {
              address _foundAddress = addressCache[name];
              require(_foundAddress != address(0), string(abi.encodePacked("Missing address: ", name)));
              return _foundAddress;
          }
      
          /* ========== EVENTS ========== */
      
          event CacheUpdated(bytes32 name, address destination);
      }
      
      
      interface IVirtualSynth {
          // Views
          function balanceOfUnderlying(address account) external view returns (uint);
      
          function rate() external view returns (uint);
      
          function readyToSettle() external view returns (bool);
      
          function secsLeftInWaitingPeriod() external view returns (uint);
      
          function settled() external view returns (bool);
      
          function synth() external view returns (ISynth);
      
          // Mutative functions
          function settle(address account) external;
      }
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/isynthetix
      interface ISynthetix {
          // Views
          function anySynthOrSNXRateIsInvalid() external view returns (bool anyRateInvalid);
      
          function availableCurrencyKeys() external view returns (bytes32[] memory);
      
          function availableSynthCount() external view returns (uint);
      
          function availableSynths(uint index) external view returns (ISynth);
      
          function collateral(address account) external view returns (uint);
      
          function collateralisationRatio(address issuer) external view returns (uint);
      
          function debtBalanceOf(address issuer, bytes32 currencyKey) external view returns (uint);
      
          function isWaitingPeriod(bytes32 currencyKey) external view returns (bool);
      
          function maxIssuableSynths(address issuer) external view returns (uint maxIssuable);
      
          function remainingIssuableSynths(address issuer)
              external
              view
              returns (
                  uint maxIssuable,
                  uint alreadyIssued,
                  uint totalSystemDebt
              );
      
          function synths(bytes32 currencyKey) external view returns (ISynth);
      
          function synthsByAddress(address synthAddress) external view returns (bytes32);
      
          function totalIssuedSynths(bytes32 currencyKey) external view returns (uint);
      
          function totalIssuedSynthsExcludeOtherCollateral(bytes32 currencyKey) external view returns (uint);
      
          function transferableSynthetix(address account) external view returns (uint transferable);
      
          function getFirstNonZeroEscrowIndex(address account) external view returns (uint);
      
          // Mutative Functions
          function burnSynths(uint amount) external;
      
          function burnSynthsOnBehalf(address burnForAddress, uint amount) external;
      
          function burnSynthsToTarget() external;
      
          function burnSynthsToTargetOnBehalf(address burnForAddress) external;
      
          function exchange(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey
          ) external returns (uint amountReceived);
      
          function exchangeOnBehalf(
              address exchangeForAddress,
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey
          ) external returns (uint amountReceived);
      
          function exchangeWithTracking(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              address rewardAddress,
              bytes32 trackingCode
          ) external returns (uint amountReceived);
      
          function exchangeWithTrackingForInitiator(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              address rewardAddress,
              bytes32 trackingCode
          ) external returns (uint amountReceived);
      
          function exchangeOnBehalfWithTracking(
              address exchangeForAddress,
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              address rewardAddress,
              bytes32 trackingCode
          ) external returns (uint amountReceived);
      
          function exchangeWithVirtual(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              bytes32 trackingCode
          ) external returns (uint amountReceived, IVirtualSynth vSynth);
      
          function exchangeAtomically(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              bytes32 trackingCode,
              uint minAmount
          ) external returns (uint amountReceived);
      
          function issueMaxSynths() external;
      
          function issueMaxSynthsOnBehalf(address issueForAddress) external;
      
          function issueSynths(uint amount) external;
      
          function issueSynthsOnBehalf(address issueForAddress, uint amount) external;
      
          function mint() external returns (bool);
      
          function settle(bytes32 currencyKey)
              external
              returns (
                  uint reclaimed,
                  uint refunded,
                  uint numEntries
              );
      
          // Liquidations
          function liquidateDelinquentAccount(address account) external returns (bool);
      
          function liquidateDelinquentAccountEscrowIndex(address account, uint escrowStartIndex) external returns (bool);
      
          function liquidateSelf() external returns (bool);
      
          // Restricted Functions
      
          function mintSecondary(address account, uint amount) external;
      
          function mintSecondaryRewards(uint amount) external;
      
          function burnSecondary(address account, uint amount) external;
      
          function migrateAccountBalances(address account) external returns (uint totalEscrowRevoked, uint totalLiquidBalance);
      }
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/isystemstatus
      interface ISystemStatus {
          struct Status {
              bool canSuspend;
              bool canResume;
          }
      
          struct Suspension {
              bool suspended;
              // reason is an integer code,
              // 0 => no reason, 1 => upgrading, 2+ => defined by system usage
              uint248 reason;
          }
      
          // Views
          function accessControl(bytes32 section, address account) external view returns (bool canSuspend, bool canResume);
      
          function requireSystemActive() external view;
      
          function systemSuspended() external view returns (bool);
      
          function requireIssuanceActive() external view;
      
          function requireExchangeActive() external view;
      
          function requireFuturesActive() external view;
      
          function requireFuturesMarketActive(bytes32 marketKey) external view;
      
          function requireExchangeBetweenSynthsAllowed(bytes32 sourceCurrencyKey, bytes32 destinationCurrencyKey) external view;
      
          function requireSynthActive(bytes32 currencyKey) external view;
      
          function synthSuspended(bytes32 currencyKey) external view returns (bool);
      
          function requireSynthsActive(bytes32 sourceCurrencyKey, bytes32 destinationCurrencyKey) external view;
      
          function systemSuspension() external view returns (bool suspended, uint248 reason);
      
          function issuanceSuspension() external view returns (bool suspended, uint248 reason);
      
          function exchangeSuspension() external view returns (bool suspended, uint248 reason);
      
          function futuresSuspension() external view returns (bool suspended, uint248 reason);
      
          function synthExchangeSuspension(bytes32 currencyKey) external view returns (bool suspended, uint248 reason);
      
          function synthSuspension(bytes32 currencyKey) external view returns (bool suspended, uint248 reason);
      
          function futuresMarketSuspension(bytes32 marketKey) external view returns (bool suspended, uint248 reason);
      
          function getSynthExchangeSuspensions(bytes32[] calldata synths)
              external
              view
              returns (bool[] memory exchangeSuspensions, uint256[] memory reasons);
      
          function getSynthSuspensions(bytes32[] calldata synths)
              external
              view
              returns (bool[] memory suspensions, uint256[] memory reasons);
      
          function getFuturesMarketSuspensions(bytes32[] calldata marketKeys)
              external
              view
              returns (bool[] memory suspensions, uint256[] memory reasons);
      
          // Restricted functions
          function suspendIssuance(uint256 reason) external;
      
          function suspendSynth(bytes32 currencyKey, uint256 reason) external;
      
          function suspendFuturesMarket(bytes32 marketKey, uint256 reason) external;
      
          function updateAccessControl(
              bytes32 section,
              address account,
              bool canSuspend,
              bool canResume
          ) external;
      }
      
      
      pragma experimental ABIEncoderV2;
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/iexchanger
      interface IExchanger {
          struct ExchangeEntrySettlement {
              bytes32 src;
              uint amount;
              bytes32 dest;
              uint reclaim;
              uint rebate;
              uint srcRoundIdAtPeriodEnd;
              uint destRoundIdAtPeriodEnd;
              uint timestamp;
          }
      
          struct ExchangeEntry {
              uint sourceRate;
              uint destinationRate;
              uint destinationAmount;
              uint exchangeFeeRate;
              uint exchangeDynamicFeeRate;
              uint roundIdForSrc;
              uint roundIdForDest;
              uint sourceAmountAfterSettlement;
          }
      
          // Views
          function calculateAmountAfterSettlement(
              address from,
              bytes32 currencyKey,
              uint amount,
              uint refunded
          ) external view returns (uint amountAfterSettlement);
      
          function isSynthRateInvalid(bytes32 currencyKey) external view returns (bool);
      
          function maxSecsLeftInWaitingPeriod(address account, bytes32 currencyKey) external view returns (uint);
      
          function settlementOwing(address account, bytes32 currencyKey)
              external
              view
              returns (
                  uint reclaimAmount,
                  uint rebateAmount,
                  uint numEntries
              );
      
          function hasWaitingPeriodOrSettlementOwing(address account, bytes32 currencyKey) external view returns (bool);
      
          function feeRateForExchange(bytes32 sourceCurrencyKey, bytes32 destinationCurrencyKey) external view returns (uint);
      
          function dynamicFeeRateForExchange(bytes32 sourceCurrencyKey, bytes32 destinationCurrencyKey)
              external
              view
              returns (uint feeRate, bool tooVolatile);
      
          function getAmountsForExchange(
              uint sourceAmount,
              bytes32 sourceCurrencyKey,
              bytes32 destinationCurrencyKey
          )
              external
              view
              returns (
                  uint amountReceived,
                  uint fee,
                  uint exchangeFeeRate
              );
      
          function priceDeviationThresholdFactor() external view returns (uint);
      
          function waitingPeriodSecs() external view returns (uint);
      
          function lastExchangeRate(bytes32 currencyKey) external view returns (uint);
      
          // Mutative functions
          function exchange(
              address exchangeForAddress,
              address from,
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              address destinationAddress,
              bool virtualSynth,
              address rewardAddress,
              bytes32 trackingCode
          ) external returns (uint amountReceived, IVirtualSynth vSynth);
      
          function exchangeAtomically(
              address from,
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              address destinationAddress,
              bytes32 trackingCode,
              uint minAmount
          ) external returns (uint amountReceived);
      
          function settle(address from, bytes32 currencyKey)
              external
              returns (
                  uint reclaimed,
                  uint refunded,
                  uint numEntries
              );
      }
      
      // Used to have strongly-typed access to internal mutative functions in Synthetix
      interface ISynthetixInternal {
          function emitExchangeTracking(
              bytes32 trackingCode,
              bytes32 toCurrencyKey,
              uint256 toAmount,
              uint256 fee
          ) external;
      
          function emitSynthExchange(
              address account,
              bytes32 fromCurrencyKey,
              uint fromAmount,
              bytes32 toCurrencyKey,
              uint toAmount,
              address toAddress
          ) external;
      
          function emitAtomicSynthExchange(
              address account,
              bytes32 fromCurrencyKey,
              uint fromAmount,
              bytes32 toCurrencyKey,
              uint toAmount,
              address toAddress
          ) external;
      
          function emitExchangeReclaim(
              address account,
              bytes32 currencyKey,
              uint amount
          ) external;
      
          function emitExchangeRebate(
              address account,
              bytes32 currencyKey,
              uint amount
          ) external;
      }
      
      interface IExchangerInternalDebtCache {
          function updateCachedSynthDebtsWithRates(bytes32[] calldata currencyKeys, uint[] calldata currencyRates) external;
      
          function updateCachedSynthDebts(bytes32[] calldata currencyKeys) external;
      }
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/irewardsdistribution
      interface IRewardsDistribution {
          // Structs
          struct DistributionData {
              address destination;
              uint amount;
          }
      
          // Views
          function authority() external view returns (address);
      
          function distributions(uint index) external view returns (address destination, uint amount); // DistributionData
      
          function distributionsLength() external view returns (uint);
      
          // Mutative Functions
          function distributeRewards(uint amount) external returns (bool);
      }
      
      
      interface ILiquidator {
          // Views
          function issuanceRatio() external view returns (uint);
      
          function liquidationDelay() external view returns (uint);
      
          function liquidationRatio() external view returns (uint);
      
          function liquidationEscrowDuration() external view returns (uint);
      
          function liquidationPenalty() external view returns (uint);
      
          function selfLiquidationPenalty() external view returns (uint);
      
          function liquidateReward() external view returns (uint);
      
          function flagReward() external view returns (uint);
      
          function liquidationCollateralRatio() external view returns (uint);
      
          function getLiquidationDeadlineForAccount(address account) external view returns (uint);
      
          function getLiquidationCallerForAccount(address account) external view returns (address);
      
          function isLiquidationOpen(address account, bool isSelfLiquidation) external view returns (bool);
      
          function isLiquidationDeadlinePassed(address account) external view returns (bool);
      
          function calculateAmountToFixCollateral(
              uint debtBalance,
              uint collateral,
              uint penalty
          ) external view returns (uint);
      
          function liquidationAmounts(address account, bool isSelfLiquidation)
              external
              view
              returns (
                  uint totalRedeemed,
                  uint debtToRemove,
                  uint escrowToLiquidate,
                  uint initialDebtBalance
              );
      
          // Mutative Functions
          function flagAccountForLiquidation(address account) external;
      
          // Restricted: used internally to Synthetix contracts
          function removeAccountInLiquidation(address account) external;
      
          function checkAndRemoveAccountInLiquidation(address account) external;
      }
      
      
      interface ILiquidatorRewards {
          // Views
      
          function earned(address account) external view returns (uint256);
      
          // Mutative
      
          function getReward(address account) external;
      
          function notifyRewardAmount(uint256 reward) external;
      
          function updateEntry(address account) external;
      }
      
      
      library VestingEntries {
          struct VestingEntry {
              uint64 endTime;
              uint256 escrowAmount;
          }
          struct VestingEntryWithID {
              uint64 endTime;
              uint256 escrowAmount;
              uint256 entryID;
          }
      }
      
      /// SIP-252: this is the interface for immutable V2 escrow (renamed with suffix Frozen).
      /// These sources need to exist here and match on-chain frozen contracts for tests and reference.
      /// the reason for the naming mess is that the immutable LiquidatorRewards expects a working
      /// RewardEscrowV2 resolver entry for its getReward method, so the "new" (would be V3)
      /// needs to be found at that entry for liq-rewards to function.
      interface IRewardEscrowV2Frozen {
          // Views
          function balanceOf(address account) external view returns (uint);
      
          function numVestingEntries(address account) external view returns (uint);
      
          function totalEscrowedBalance() external view returns (uint);
      
          function totalEscrowedAccountBalance(address account) external view returns (uint);
      
          function totalVestedAccountBalance(address account) external view returns (uint);
      
          function getVestingQuantity(address account, uint256[] calldata entryIDs) external view returns (uint);
      
          function getVestingSchedules(
              address account,
              uint256 index,
              uint256 pageSize
          ) external view returns (VestingEntries.VestingEntryWithID[] memory);
      
          function getAccountVestingEntryIDs(
              address account,
              uint256 index,
              uint256 pageSize
          ) external view returns (uint256[] memory);
      
          function getVestingEntryClaimable(address account, uint256 entryID) external view returns (uint);
      
          function getVestingEntry(address account, uint256 entryID) external view returns (uint64, uint256);
      
          // Mutative functions
          function vest(uint256[] calldata entryIDs) external;
      
          function createEscrowEntry(
              address beneficiary,
              uint256 deposit,
              uint256 duration
          ) external;
      
          function appendVestingEntry(
              address account,
              uint256 quantity,
              uint256 duration
          ) external;
      
          function migrateVestingSchedule(address _addressToMigrate) external;
      
          function migrateAccountEscrowBalances(
              address[] calldata accounts,
              uint256[] calldata escrowBalances,
              uint256[] calldata vestedBalances
          ) external;
      
          // Account Merging
          function startMergingWindow() external;
      
          function mergeAccount(address accountToMerge, uint256[] calldata entryIDs) external;
      
          function nominateAccountToMerge(address account) external;
      
          function accountMergingIsOpen() external view returns (bool);
      
          // L2 Migration
          function importVestingEntries(
              address account,
              uint256 escrowedAmount,
              VestingEntries.VestingEntry[] calldata vestingEntries
          ) external;
      
          // Return amount of SNX transfered to SynthetixBridgeToOptimism deposit contract
          function burnForMigration(address account, uint256[] calldata entryIDs)
              external
              returns (uint256 escrowedAccountBalance, VestingEntries.VestingEntry[] memory vestingEntries);
      
          function nextEntryId() external view returns (uint);
      
          function vestingSchedules(address account, uint256 entryId) external view returns (VestingEntries.VestingEntry memory);
      
          function accountVestingEntryIDs(address account, uint256 index) external view returns (uint);
      
          //function totalEscrowedAccountBalance(address account) external view returns (uint);
          //function totalVestedAccountBalance(address account) external view returns (uint);
      }
      
      
      interface IRewardEscrowV2Storage {
          /// Views
          function numVestingEntries(address account) external view returns (uint);
      
          function totalEscrowedAccountBalance(address account) external view returns (uint);
      
          function totalVestedAccountBalance(address account) external view returns (uint);
      
          function totalEscrowedBalance() external view returns (uint);
      
          function nextEntryId() external view returns (uint);
      
          function vestingSchedules(address account, uint256 entryId) external view returns (VestingEntries.VestingEntry memory);
      
          function accountVestingEntryIDs(address account, uint256 index) external view returns (uint);
      
          /// Mutative
          function setZeroAmount(address account, uint entryId) external;
      
          function setZeroAmountUntilTarget(
              address account,
              uint startIndex,
              uint targetAmount
          )
              external
              returns (
                  uint total,
                  uint endIndex,
                  uint lastEntryTime
              );
      
          function updateEscrowAccountBalance(address account, int delta) external;
      
          function updateVestedAccountBalance(address account, int delta) external;
      
          function updateTotalEscrowedBalance(int delta) external;
      
          function addVestingEntry(address account, VestingEntries.VestingEntry calldata entry) external returns (uint);
      
          // setFallbackRewardEscrow is used for configuration but not used by contracts
      }
      
      /// this should remain backwards compatible to IRewardEscrowV2Frozen
      /// ideally this would be done by inheriting from that interface
      /// but solidity v0.5 doesn't support interface inheritance
      interface IRewardEscrowV2 {
          // Views
          function balanceOf(address account) external view returns (uint);
      
          function numVestingEntries(address account) external view returns (uint);
      
          function totalEscrowedBalance() external view returns (uint);
      
          function totalEscrowedAccountBalance(address account) external view returns (uint);
      
          function totalVestedAccountBalance(address account) external view returns (uint);
      
          function getVestingQuantity(address account, uint256[] calldata entryIDs) external view returns (uint);
      
          function getVestingSchedules(
              address account,
              uint256 index,
              uint256 pageSize
          ) external view returns (VestingEntries.VestingEntryWithID[] memory);
      
          function getAccountVestingEntryIDs(
              address account,
              uint256 index,
              uint256 pageSize
          ) external view returns (uint256[] memory);
      
          function getVestingEntryClaimable(address account, uint256 entryID) external view returns (uint);
      
          function getVestingEntry(address account, uint256 entryID) external view returns (uint64, uint256);
      
          // Mutative functions
          function vest(uint256[] calldata entryIDs) external;
      
          function createEscrowEntry(
              address beneficiary,
              uint256 deposit,
              uint256 duration
          ) external;
      
          function appendVestingEntry(
              address account,
              uint256 quantity,
              uint256 duration
          ) external;
      
          function migrateVestingSchedule(address _addressToMigrate) external;
      
          function migrateAccountEscrowBalances(
              address[] calldata accounts,
              uint256[] calldata escrowBalances,
              uint256[] calldata vestedBalances
          ) external;
      
          // Account Merging
          function startMergingWindow() external;
      
          function mergeAccount(address accountToMerge, uint256[] calldata entryIDs) external;
      
          function nominateAccountToMerge(address account) external;
      
          function accountMergingIsOpen() external view returns (bool);
      
          // L2 Migration
          function importVestingEntries(
              address account,
              uint256 escrowedAmount,
              VestingEntries.VestingEntry[] calldata vestingEntries
          ) external;
      
          // Return amount of SNX transfered to SynthetixBridgeToOptimism deposit contract
          function burnForMigration(address account, uint256[] calldata entryIDs)
              external
              returns (uint256 escrowedAccountBalance, VestingEntries.VestingEntry[] memory vestingEntries);
      
          function nextEntryId() external view returns (uint);
      
          function vestingSchedules(address account, uint256 entryId) external view returns (VestingEntries.VestingEntry memory);
      
          function accountVestingEntryIDs(address account, uint256 index) external view returns (uint);
      
          /// below are methods not available in IRewardEscrowV2Frozen
      
          // revoke entries for liquidations (access controlled to Synthetix)
          function revokeFrom(
              address account,
              address recipient,
              uint targetAmount,
              uint startIndex
          ) external;
      }
      
      
      // Inheritance
      
      
      // Internal references
      
      
      contract BaseSynthetix is IERC20, ExternStateToken, MixinResolver, ISynthetix {
          // ========== STATE VARIABLES ==========
      
          // Available Synths which can be used with the system
          string public constant TOKEN_NAME = "Synthetix Network Token";
          string public constant TOKEN_SYMBOL = "SNX";
          uint8 public constant DECIMALS = 18;
          bytes32 public constant sUSD = "sUSD";
      
          // ========== ADDRESS RESOLVER CONFIGURATION ==========
          bytes32 private constant CONTRACT_SYSTEMSTATUS = "SystemStatus";
          bytes32 private constant CONTRACT_EXCHANGER = "Exchanger";
          bytes32 private constant CONTRACT_ISSUER = "Issuer";
          bytes32 private constant CONTRACT_REWARDSDISTRIBUTION = "RewardsDistribution";
          bytes32 private constant CONTRACT_LIQUIDATORREWARDS = "LiquidatorRewards";
          bytes32 private constant CONTRACT_LIQUIDATOR = "Liquidator";
          bytes32 private constant CONTRACT_REWARDESCROW_V2 = "RewardEscrowV2";
          bytes32 private constant CONTRACT_V3_LEGACYMARKET = "LegacyMarket";
          bytes32 private constant CONTRACT_DEBT_MIGRATOR_ON_ETHEREUM = "DebtMigratorOnEthereum";
      
          // ========== CONSTRUCTOR ==========
      
          constructor(
              address payable _proxy,
              TokenState _tokenState,
              address _owner,
              uint _totalSupply,
              address _resolver
          )
              public
              ExternStateToken(_proxy, _tokenState, TOKEN_NAME, TOKEN_SYMBOL, _totalSupply, DECIMALS, _owner)
              MixinResolver(_resolver)
          {}
      
          // ========== VIEWS ==========
      
          // Note: use public visibility so that it can be invoked in a subclass
          function resolverAddressesRequired() public view returns (bytes32[] memory addresses) {
              addresses = new bytes32[](7);
              addresses[0] = CONTRACT_SYSTEMSTATUS;
              addresses[1] = CONTRACT_EXCHANGER;
              addresses[2] = CONTRACT_ISSUER;
              addresses[3] = CONTRACT_REWARDSDISTRIBUTION;
              addresses[4] = CONTRACT_LIQUIDATORREWARDS;
              addresses[5] = CONTRACT_LIQUIDATOR;
              addresses[6] = CONTRACT_REWARDESCROW_V2;
          }
      
          function systemStatus() internal view returns (ISystemStatus) {
              return ISystemStatus(requireAndGetAddress(CONTRACT_SYSTEMSTATUS));
          }
      
          function exchanger() internal view returns (IExchanger) {
              return IExchanger(requireAndGetAddress(CONTRACT_EXCHANGER));
          }
      
          function issuer() internal view returns (IIssuer) {
              return IIssuer(requireAndGetAddress(CONTRACT_ISSUER));
          }
      
          function rewardsDistribution() internal view returns (IRewardsDistribution) {
              return IRewardsDistribution(requireAndGetAddress(CONTRACT_REWARDSDISTRIBUTION));
          }
      
          function liquidatorRewards() internal view returns (ILiquidatorRewards) {
              return ILiquidatorRewards(requireAndGetAddress(CONTRACT_LIQUIDATORREWARDS));
          }
      
          function rewardEscrowV2() internal view returns (IRewardEscrowV2) {
              return IRewardEscrowV2(requireAndGetAddress(CONTRACT_REWARDESCROW_V2));
          }
      
          function liquidator() internal view returns (ILiquidator) {
              return ILiquidator(requireAndGetAddress(CONTRACT_LIQUIDATOR));
          }
      
          function debtBalanceOf(address account, bytes32 currencyKey) external view returns (uint) {
              return issuer().debtBalanceOf(account, currencyKey);
          }
      
          function totalIssuedSynths(bytes32 currencyKey) external view returns (uint) {
              return issuer().totalIssuedSynths(currencyKey, false);
          }
      
          function totalIssuedSynthsExcludeOtherCollateral(bytes32 currencyKey) external view returns (uint) {
              return issuer().totalIssuedSynths(currencyKey, true);
          }
      
          function availableCurrencyKeys() external view returns (bytes32[] memory) {
              return issuer().availableCurrencyKeys();
          }
      
          function availableSynthCount() external view returns (uint) {
              return issuer().availableSynthCount();
          }
      
          function availableSynths(uint index) external view returns (ISynth) {
              return issuer().availableSynths(index);
          }
      
          function synths(bytes32 currencyKey) external view returns (ISynth) {
              return issuer().synths(currencyKey);
          }
      
          function synthsByAddress(address synthAddress) external view returns (bytes32) {
              return issuer().synthsByAddress(synthAddress);
          }
      
          function isWaitingPeriod(bytes32 currencyKey) external view returns (bool) {
              return exchanger().maxSecsLeftInWaitingPeriod(messageSender, currencyKey) > 0;
          }
      
          function anySynthOrSNXRateIsInvalid() external view returns (bool anyRateInvalid) {
              return issuer().anySynthOrSNXRateIsInvalid();
          }
      
          function maxIssuableSynths(address account) external view returns (uint maxIssuable) {
              return issuer().maxIssuableSynths(account);
          }
      
          function remainingIssuableSynths(address account)
              external
              view
              returns (
                  uint maxIssuable,
                  uint alreadyIssued,
                  uint totalSystemDebt
              )
          {
              return issuer().remainingIssuableSynths(account);
          }
      
          function collateralisationRatio(address _issuer) external view returns (uint) {
              return issuer().collateralisationRatio(_issuer);
          }
      
          function collateral(address account) external view returns (uint) {
              return issuer().collateral(account);
          }
      
          function transferableSynthetix(address account) external view returns (uint transferable) {
              (transferable, ) = issuer().transferableSynthetixAndAnyRateIsInvalid(account, tokenState.balanceOf(account));
          }
      
          /// the index of the first non zero RewardEscrowV2 entry for an account in order of iteration over accountVestingEntryIDs.
          /// This is intended as a convenience off-chain view for liquidators to calculate the startIndex to pass
          /// into liquidateDelinquentAccountEscrowIndex to save gas.
          function getFirstNonZeroEscrowIndex(address account) external view returns (uint) {
              uint numIds = rewardEscrowV2().numVestingEntries(account);
              uint entryID;
              VestingEntries.VestingEntry memory entry;
              for (uint i = 0; i < numIds; i++) {
                  entryID = rewardEscrowV2().accountVestingEntryIDs(account, i);
                  entry = rewardEscrowV2().vestingSchedules(account, entryID);
                  if (entry.escrowAmount > 0) {
                      return i;
                  }
              }
              revert("all entries are zero");
          }
      
          function _canTransfer(address account, uint value) internal view returns (bool) {
              // Always allow legacy market to transfer
              // note if legacy market is not yet available this will just return 0 address and it  will never be true
              address legacyMarketAddress = resolver.getAddress(CONTRACT_V3_LEGACYMARKET);
              if ((messageSender != address(0) && messageSender == legacyMarketAddress) || account == legacyMarketAddress) {
                  return true;
              }
      
              if (issuer().debtBalanceOf(account, sUSD) > 0) {
                  (uint transferable, bool anyRateIsInvalid) =
                      issuer().transferableSynthetixAndAnyRateIsInvalid(account, tokenState.balanceOf(account));
                  require(value <= transferable, "Cannot transfer staked or escrowed SNX");
                  require(!anyRateIsInvalid, "A synth or SNX rate is invalid");
              }
      
              return true;
          }
      
          // ========== MUTATIVE FUNCTIONS ==========
      
          function exchange(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey
          ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
              (amountReceived, ) = exchanger().exchange(
                  messageSender,
                  messageSender,
                  sourceCurrencyKey,
                  sourceAmount,
                  destinationCurrencyKey,
                  messageSender,
                  false,
                  messageSender,
                  bytes32(0)
              );
          }
      
          function exchangeOnBehalf(
              address exchangeForAddress,
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey
          ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
              (amountReceived, ) = exchanger().exchange(
                  exchangeForAddress,
                  messageSender,
                  sourceCurrencyKey,
                  sourceAmount,
                  destinationCurrencyKey,
                  exchangeForAddress,
                  false,
                  exchangeForAddress,
                  bytes32(0)
              );
          }
      
          function settle(bytes32 currencyKey)
              external
              optionalProxy
              returns (
                  uint reclaimed,
                  uint refunded,
                  uint numEntriesSettled
              )
          {
              return exchanger().settle(messageSender, currencyKey);
          }
      
          function exchangeWithTracking(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              address rewardAddress,
              bytes32 trackingCode
          ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
              (amountReceived, ) = exchanger().exchange(
                  messageSender,
                  messageSender,
                  sourceCurrencyKey,
                  sourceAmount,
                  destinationCurrencyKey,
                  messageSender,
                  false,
                  rewardAddress,
                  trackingCode
              );
          }
      
          function exchangeOnBehalfWithTracking(
              address exchangeForAddress,
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              address rewardAddress,
              bytes32 trackingCode
          ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
              (amountReceived, ) = exchanger().exchange(
                  exchangeForAddress,
                  messageSender,
                  sourceCurrencyKey,
                  sourceAmount,
                  destinationCurrencyKey,
                  exchangeForAddress,
                  false,
                  rewardAddress,
                  trackingCode
              );
          }
      
          function transfer(address to, uint value) external onlyProxyOrInternal systemActive returns (bool) {
              // Ensure they're not trying to exceed their locked amount -- only if they have debt.
              _canTransfer(messageSender, value);
      
              // Perform the transfer: if there is a problem an exception will be thrown in this call.
              _transferByProxy(messageSender, to, value);
      
              return true;
          }
      
          function transferFrom(
              address from,
              address to,
              uint value
          ) external onlyProxyOrInternal systemActive returns (bool) {
              // Ensure they're not trying to exceed their locked amount -- only if they have debt.
              _canTransfer(from, value);
      
              // Perform the transfer: if there is a problem,
              // an exception will be thrown in this call.
              return _transferFromByProxy(messageSender, from, to, value);
          }
      
          // SIP-252: migration of SNX token balance from old to new escrow rewards contract
          function migrateEscrowContractBalance() external onlyOwner {
              address from = resolver.requireAndGetAddress("RewardEscrowV2Frozen", "Old escrow address unset");
              // technically the below could use `rewardEscrowV2()`, but in the case of a migration it's better to avoid
              // using the cached value and read the most updated one directly from the resolver
              address to = resolver.requireAndGetAddress("RewardEscrowV2", "New escrow address unset");
              require(to != from, "cannot migrate to same address");
      
              uint currentBalance = tokenState.balanceOf(from);
              // allow no-op for idempotent migration steps in case action was performed already
              if (currentBalance > 0) {
                  _internalTransfer(from, to, currentBalance);
              }
          }
      
          function issueSynths(uint amount) external issuanceActive optionalProxy {
              return issuer().issueSynths(messageSender, amount);
          }
      
          function issueSynthsOnBehalf(address issueForAddress, uint amount) external issuanceActive optionalProxy {
              return issuer().issueSynthsOnBehalf(issueForAddress, messageSender, amount);
          }
      
          function issueMaxSynths() external issuanceActive optionalProxy {
              return issuer().issueMaxSynths(messageSender);
          }
      
          function issueMaxSynthsOnBehalf(address issueForAddress) external issuanceActive optionalProxy {
              return issuer().issueMaxSynthsOnBehalf(issueForAddress, messageSender);
          }
      
          function burnSynths(uint amount) external issuanceActive optionalProxy {
              return issuer().burnSynths(messageSender, amount);
          }
      
          function burnSynthsOnBehalf(address burnForAddress, uint amount) external issuanceActive optionalProxy {
              return issuer().burnSynthsOnBehalf(burnForAddress, messageSender, amount);
          }
      
          function burnSynthsToTarget() external issuanceActive optionalProxy {
              return issuer().burnSynthsToTarget(messageSender);
          }
      
          function burnSynthsToTargetOnBehalf(address burnForAddress) external issuanceActive optionalProxy {
              return issuer().burnSynthsToTargetOnBehalf(burnForAddress, messageSender);
          }
      
          /// @notice Force liquidate a delinquent account and distribute the redeemed SNX rewards amongst the appropriate recipients.
          /// @dev The SNX transfers will revert if the amount to send is more than balanceOf account (i.e. due to escrowed balance).
          function liquidateDelinquentAccount(address account) external systemActive optionalProxy returns (bool) {
              return _liquidateDelinquentAccount(account, 0, messageSender);
          }
      
          /// @param escrowStartIndex: index into the account's vesting entries list to start iterating from
          /// when liquidating from escrow in order to save gas (the default method uses 0 as default)
          function liquidateDelinquentAccountEscrowIndex(address account, uint escrowStartIndex)
              external
              systemActive
              optionalProxy
              returns (bool)
          {
              return _liquidateDelinquentAccount(account, escrowStartIndex, messageSender);
          }
      
          /// @notice Force liquidate a delinquent account and distribute the redeemed SNX rewards amongst the appropriate recipients.
          /// @dev The SNX transfers will revert if the amount to send is more than balanceOf account (i.e. due to escrowed balance).
          function _liquidateDelinquentAccount(
              address account,
              uint escrowStartIndex,
              address liquidatorAccount
          ) internal returns (bool) {
              // ensure the user has no liquidation rewards (also counted towards collateral) outstanding
              liquidatorRewards().getReward(account);
      
              (uint totalRedeemed, uint debtToRemove, uint escrowToLiquidate) = issuer().liquidateAccount(account, false);
      
              // This transfers the to-be-liquidated part of escrow to the account (!) as liquid SNX.
              // It is transferred to the account instead of to the rewards because of the liquidator / flagger
              // rewards that may need to be paid (so need to be transferrable, to avoid edge cases)
              if (escrowToLiquidate > 0) {
                  rewardEscrowV2().revokeFrom(account, account, escrowToLiquidate, escrowStartIndex);
              }
      
              emitAccountLiquidated(account, totalRedeemed, debtToRemove, liquidatorAccount);
      
              // First, pay out the flag and liquidate rewards.
              uint flagReward = liquidator().flagReward();
              uint liquidateReward = liquidator().liquidateReward();
      
              // Transfer the flagReward to the account who flagged this account for liquidation.
              address flagger = liquidator().getLiquidationCallerForAccount(account);
              bool flagRewardTransferSucceeded = _transferByProxy(account, flagger, flagReward);
              require(flagRewardTransferSucceeded, "Flag reward transfer did not succeed");
      
              // Transfer the liquidateReward to liquidator (the account who invoked this liquidation).
              bool liquidateRewardTransferSucceeded = _transferByProxy(account, liquidatorAccount, liquidateReward);
              require(liquidateRewardTransferSucceeded, "Liquidate reward transfer did not succeed");
      
              if (totalRedeemed > 0) {
                  // Send the remaining SNX to the LiquidatorRewards contract.
                  bool liquidatorRewardTransferSucceeded = _transferByProxy(account, address(liquidatorRewards()), totalRedeemed);
                  require(liquidatorRewardTransferSucceeded, "Transfer to LiquidatorRewards failed");
      
                  // Inform the LiquidatorRewards contract about the incoming SNX rewards.
                  liquidatorRewards().notifyRewardAmount(totalRedeemed);
              }
      
              return true;
          }
      
          /// @notice Allows an account to self-liquidate anytime its c-ratio is below the target issuance ratio.
          function liquidateSelf() external systemActive optionalProxy returns (bool) {
              // must store liquidated account address because below functions may attempt to transfer SNX which changes messageSender
              address liquidatedAccount = messageSender;
      
              // ensure the user has no liquidation rewards (also counted towards collateral) outstanding
              liquidatorRewards().getReward(liquidatedAccount);
      
              // Self liquidate the account (`isSelfLiquidation` flag must be set to `true`).
              // escrowToLiquidate is unused because it cannot be used for self-liquidations
              (uint totalRedeemed, uint debtRemoved, ) = issuer().liquidateAccount(liquidatedAccount, true);
              require(debtRemoved > 0, "cannot self liquidate");
      
              emitAccountLiquidated(liquidatedAccount, totalRedeemed, debtRemoved, liquidatedAccount);
      
              // Transfer the redeemed SNX to the LiquidatorRewards contract.
              // Reverts if amount to redeem is more than balanceOf account (i.e. due to escrowed balance).
              bool success = _transferByProxy(liquidatedAccount, address(liquidatorRewards()), totalRedeemed);
              require(success, "Transfer to LiquidatorRewards failed");
      
              // Inform the LiquidatorRewards contract about the incoming SNX rewards.
              liquidatorRewards().notifyRewardAmount(totalRedeemed);
      
              return success;
          }
      
          function migrateAccountBalances(address account)
              external
              systemActive
              returns (uint totalEscrowRevoked, uint totalLiquidBalance)
          {
              address debtMigratorOnEthereum = resolver.getAddress(CONTRACT_DEBT_MIGRATOR_ON_ETHEREUM);
              require(
                  msg.sender == debtMigratorOnEthereum || msg.sender == resolver.getAddress(CONTRACT_V3_LEGACYMARKET),
                  "Only L1 DebtMigrator or LegacyMarket"
              );
      
              // get their liquid SNX balance and transfer it to the migrator contract
              totalLiquidBalance = tokenState.balanceOf(account);
              if (totalLiquidBalance > 0) {
                  bool succeeded = _transferByProxy(account, msg.sender, totalLiquidBalance);
                  require(succeeded, "snx transfer failed");
              }
      
              // get their escrowed SNX balance and revoke it all
              totalEscrowRevoked = rewardEscrowV2().totalEscrowedAccountBalance(account);
              if (totalEscrowRevoked > 0) {
                  rewardEscrowV2().revokeFrom(account, msg.sender, totalEscrowRevoked, 0);
              }
          }
      
          function exchangeWithTrackingForInitiator(
              bytes32,
              uint,
              bytes32,
              address,
              bytes32
          ) external returns (uint) {
              _notImplemented();
          }
      
          function exchangeWithVirtual(
              bytes32,
              uint,
              bytes32,
              bytes32
          ) external returns (uint, IVirtualSynth) {
              _notImplemented();
          }
      
          function exchangeAtomically(
              bytes32,
              uint,
              bytes32,
              bytes32,
              uint
          ) external returns (uint) {
              _notImplemented();
          }
      
          function mint() external returns (bool) {
              _notImplemented();
          }
      
          function mintSecondary(address, uint) external {
              _notImplemented();
          }
      
          function mintSecondaryRewards(uint) external {
              _notImplemented();
          }
      
          function burnSecondary(address, uint) external {
              _notImplemented();
          }
      
          function _notImplemented() internal pure {
              revert("Cannot be run on this layer");
          }
      
          // ========== MODIFIERS ==========
      
          modifier systemActive() {
              _systemActive();
              _;
          }
      
          function _systemActive() private view {
              systemStatus().requireSystemActive();
          }
      
          modifier issuanceActive() {
              _issuanceActive();
              _;
          }
      
          function _issuanceActive() private view {
              systemStatus().requireIssuanceActive();
          }
      
          modifier exchangeActive(bytes32 src, bytes32 dest) {
              _exchangeActive(src, dest);
              _;
          }
      
          function _exchangeActive(bytes32 src, bytes32 dest) private view {
              systemStatus().requireExchangeBetweenSynthsAllowed(src, dest);
          }
      
          modifier onlyExchanger() {
              _onlyExchanger();
              _;
          }
      
          function _onlyExchanger() private view {
              require(msg.sender == address(exchanger()), "Only Exchanger can invoke this");
          }
      
          modifier onlyProxyOrInternal {
              _onlyProxyOrInternal();
              _;
          }
      
          function _onlyProxyOrInternal() internal {
              if (msg.sender == address(proxy)) {
                  // allow proxy through, messageSender should be already set correctly
                  return;
              } else if (_isInternalTransferCaller(msg.sender)) {
                  // optionalProxy behaviour only for the internal legacy contracts
                  messageSender = msg.sender;
              } else {
                  revert("Only the proxy can call");
              }
          }
      
          /// some legacy internal contracts use transfer methods directly on implementation
          /// which isn't supported due to SIP-238 for other callers
          function _isInternalTransferCaller(address caller) internal view returns (bool) {
              // These entries are not required or cached in order to allow them to not exist (==address(0))
              // e.g. due to not being available on L2 or at some future point in time.
              return
                  // ordered to reduce gas for more frequent calls, bridge first, vesting and migrating after, legacy last
                  caller == resolver.getAddress("SynthetixBridgeToOptimism") ||
                  caller == resolver.getAddress("RewardEscrowV2") ||
                  caller == resolver.getAddress("DebtMigratorOnOptimism") ||
                  // legacy contracts
                  caller == resolver.getAddress("RewardEscrow") ||
                  caller == resolver.getAddress("SynthetixEscrow") ||
                  caller == resolver.getAddress("Depot");
          }
      
          // ========== EVENTS ==========
          event AccountLiquidated(address indexed account, uint snxRedeemed, uint amountLiquidated, address liquidator);
          bytes32 internal constant ACCOUNTLIQUIDATED_SIG = keccak256("AccountLiquidated(address,uint256,uint256,address)");
      
          function emitAccountLiquidated(
              address account,
              uint256 snxRedeemed,
              uint256 amountLiquidated,
              address liquidator
          ) internal {
              proxy._emit(
                  abi.encode(snxRedeemed, amountLiquidated, liquidator),
                  2,
                  ACCOUNTLIQUIDATED_SIG,
                  addressToBytes32(account),
                  0,
                  0
              );
          }
      
          event SynthExchange(
              address indexed account,
              bytes32 fromCurrencyKey,
              uint256 fromAmount,
              bytes32 toCurrencyKey,
              uint256 toAmount,
              address toAddress
          );
          bytes32 internal constant SYNTH_EXCHANGE_SIG =
              keccak256("SynthExchange(address,bytes32,uint256,bytes32,uint256,address)");
      
          function emitSynthExchange(
              address account,
              bytes32 fromCurrencyKey,
              uint256 fromAmount,
              bytes32 toCurrencyKey,
              uint256 toAmount,
              address toAddress
          ) external onlyExchanger {
              proxy._emit(
                  abi.encode(fromCurrencyKey, fromAmount, toCurrencyKey, toAmount, toAddress),
                  2,
                  SYNTH_EXCHANGE_SIG,
                  addressToBytes32(account),
                  0,
                  0
              );
          }
      
          event ExchangeTracking(bytes32 indexed trackingCode, bytes32 toCurrencyKey, uint256 toAmount, uint256 fee);
          bytes32 internal constant EXCHANGE_TRACKING_SIG = keccak256("ExchangeTracking(bytes32,bytes32,uint256,uint256)");
      
          function emitExchangeTracking(
              bytes32 trackingCode,
              bytes32 toCurrencyKey,
              uint256 toAmount,
              uint256 fee
          ) external onlyExchanger {
              proxy._emit(abi.encode(toCurrencyKey, toAmount, fee), 2, EXCHANGE_TRACKING_SIG, trackingCode, 0, 0);
          }
      
          event ExchangeReclaim(address indexed account, bytes32 currencyKey, uint amount);
          bytes32 internal constant EXCHANGERECLAIM_SIG = keccak256("ExchangeReclaim(address,bytes32,uint256)");
      
          function emitExchangeReclaim(
              address account,
              bytes32 currencyKey,
              uint256 amount
          ) external onlyExchanger {
              proxy._emit(abi.encode(currencyKey, amount), 2, EXCHANGERECLAIM_SIG, addressToBytes32(account), 0, 0);
          }
      
          event ExchangeRebate(address indexed account, bytes32 currencyKey, uint amount);
          bytes32 internal constant EXCHANGEREBATE_SIG = keccak256("ExchangeRebate(address,bytes32,uint256)");
      
          function emitExchangeRebate(
              address account,
              bytes32 currencyKey,
              uint256 amount
          ) external onlyExchanger {
              proxy._emit(abi.encode(currencyKey, amount), 2, EXCHANGEREBATE_SIG, addressToBytes32(account), 0, 0);
          }
      }
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/irewardescrow
      interface IRewardEscrow {
          // Views
          function balanceOf(address account) external view returns (uint);
      
          function numVestingEntries(address account) external view returns (uint);
      
          function totalEscrowedAccountBalance(address account) external view returns (uint);
      
          function totalVestedAccountBalance(address account) external view returns (uint);
      
          function getVestingScheduleEntry(address account, uint index) external view returns (uint[2] memory);
      
          function getNextVestingIndex(address account) external view returns (uint);
      
          // Mutative functions
          function appendVestingEntry(address account, uint quantity) external;
      
          function vest() external;
      }
      
      
      // https://docs.synthetix.io/contracts/source/interfaces/isupplyschedule
      interface ISupplySchedule {
          // Views
          function mintableSupply() external view returns (uint);
      
          function isMintable() external view returns (bool);
      
          function minterReward() external view returns (uint);
      
          // Mutative functions
          function recordMintEvent(uint supplyMinted) external returns (uint);
      }
      
      
      // Inheritance
      
      
      // Internal references
      
      
      // https://docs.synthetix.io/contracts/source/contracts/synthetix
      contract Synthetix is BaseSynthetix {
          bytes32 public constant CONTRACT_NAME = "Synthetix";
      
          // ========== ADDRESS RESOLVER CONFIGURATION ==========
          bytes32 private constant CONTRACT_REWARD_ESCROW = "RewardEscrow";
          bytes32 private constant CONTRACT_SUPPLYSCHEDULE = "SupplySchedule";
      
          // ========== CONSTRUCTOR ==========
      
          constructor(
              address payable _proxy,
              TokenState _tokenState,
              address _owner,
              uint _totalSupply,
              address _resolver
          ) public BaseSynthetix(_proxy, _tokenState, _owner, _totalSupply, _resolver) {}
      
          function resolverAddressesRequired() public view returns (bytes32[] memory addresses) {
              bytes32[] memory existingAddresses = BaseSynthetix.resolverAddressesRequired();
              bytes32[] memory newAddresses = new bytes32[](2);
              newAddresses[0] = CONTRACT_REWARD_ESCROW;
              newAddresses[1] = CONTRACT_SUPPLYSCHEDULE;
              return combineArrays(existingAddresses, newAddresses);
          }
      
          // ========== VIEWS ==========
      
          function rewardEscrow() internal view returns (IRewardEscrow) {
              return IRewardEscrow(requireAndGetAddress(CONTRACT_REWARD_ESCROW));
          }
      
          function supplySchedule() internal view returns (ISupplySchedule) {
              return ISupplySchedule(requireAndGetAddress(CONTRACT_SUPPLYSCHEDULE));
          }
      
          // ========== OVERRIDDEN FUNCTIONS ==========
      
          function exchangeWithVirtual(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              bytes32 trackingCode
          )
              external
              exchangeActive(sourceCurrencyKey, destinationCurrencyKey)
              optionalProxy
              returns (uint amountReceived, IVirtualSynth vSynth)
          {
              return
                  exchanger().exchange(
                      messageSender,
                      messageSender,
                      sourceCurrencyKey,
                      sourceAmount,
                      destinationCurrencyKey,
                      messageSender,
                      true,
                      messageSender,
                      trackingCode
                  );
          }
      
          // SIP-140 The initiating user of this exchange will receive the proceeds of the exchange
          // Note: this function may have unintended consequences if not understood correctly. Please
          // read SIP-140 for more information on the use-case
          function exchangeWithTrackingForInitiator(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              address rewardAddress,
              bytes32 trackingCode
          ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
              (amountReceived, ) = exchanger().exchange(
                  messageSender,
                  messageSender,
                  sourceCurrencyKey,
                  sourceAmount,
                  destinationCurrencyKey,
                  // solhint-disable avoid-tx-origin
                  tx.origin,
                  false,
                  rewardAddress,
                  trackingCode
              );
          }
      
          function exchangeAtomically(
              bytes32 sourceCurrencyKey,
              uint sourceAmount,
              bytes32 destinationCurrencyKey,
              bytes32 trackingCode,
              uint minAmount
          ) external exchangeActive(sourceCurrencyKey, destinationCurrencyKey) optionalProxy returns (uint amountReceived) {
              return
                  exchanger().exchangeAtomically(
                      messageSender,
                      sourceCurrencyKey,
                      sourceAmount,
                      destinationCurrencyKey,
                      messageSender,
                      trackingCode,
                      minAmount
                  );
          }
      
          function settle(bytes32 currencyKey)
              external
              optionalProxy
              returns (
                  uint reclaimed,
                  uint refunded,
                  uint numEntriesSettled
              )
          {
              return exchanger().settle(messageSender, currencyKey);
          }
      
          function mint() external issuanceActive returns (bool) {
              require(address(rewardsDistribution()) != address(0), "RewardsDistribution not set");
      
              ISupplySchedule _supplySchedule = supplySchedule();
              IRewardsDistribution _rewardsDistribution = rewardsDistribution();
      
              uint supplyToMint = _supplySchedule.mintableSupply();
              require(supplyToMint > 0, "No supply is mintable");
      
              emitTransfer(address(0), address(this), supplyToMint);
      
              // record minting event before mutation to token supply
              uint minterReward = _supplySchedule.recordMintEvent(supplyToMint);
      
              // Set minted SNX balance to RewardEscrow's balance
              // Minus the minterReward and set balance of minter to add reward
              uint amountToDistribute = supplyToMint.sub(minterReward);
      
              // Set the token balance to the RewardsDistribution contract
              tokenState.setBalanceOf(
                  address(_rewardsDistribution),
                  tokenState.balanceOf(address(_rewardsDistribution)).add(amountToDistribute)
              );
              emitTransfer(address(this), address(_rewardsDistribution), amountToDistribute);
      
              // Kick off the distribution of rewards
              _rewardsDistribution.distributeRewards(amountToDistribute);
      
              // Assign the minters reward.
              tokenState.setBalanceOf(msg.sender, tokenState.balanceOf(msg.sender).add(minterReward));
              emitTransfer(address(this), msg.sender, minterReward);
      
              // Increase total supply by minted amount
              totalSupply = totalSupply.add(supplyToMint);
      
              return true;
          }
      
          /* Once off function for SIP-60 to migrate SNX balances in the RewardEscrow contract
           * To the new RewardEscrowV2 contract
           */
          function migrateEscrowBalanceToRewardEscrowV2() external onlyOwner {
              // Record balanceOf(RewardEscrow) contract
              uint rewardEscrowBalance = tokenState.balanceOf(address(rewardEscrow()));
      
              // transfer all of RewardEscrow's balance to RewardEscrowV2
              // _internalTransfer emits the transfer event
              _internalTransfer(address(rewardEscrow()), address(rewardEscrowV2()), rewardEscrowBalance);
          }
      
          // ========== EVENTS ==========
      
          event AtomicSynthExchange(
              address indexed account,
              bytes32 fromCurrencyKey,
              uint256 fromAmount,
              bytes32 toCurrencyKey,
              uint256 toAmount,
              address toAddress
          );
          bytes32 internal constant ATOMIC_SYNTH_EXCHANGE_SIG =
              keccak256("AtomicSynthExchange(address,bytes32,uint256,bytes32,uint256,address)");
      
          function emitAtomicSynthExchange(
              address account,
              bytes32 fromCurrencyKey,
              uint256 fromAmount,
              bytes32 toCurrencyKey,
              uint256 toAmount,
              address toAddress
          ) external onlyExchanger {
              proxy._emit(
                  abi.encode(fromCurrencyKey, fromAmount, toCurrencyKey, toAmount, toAddress),
                  2,
                  ATOMIC_SYNTH_EXCHANGE_SIG,
                  addressToBytes32(account),
                  0,
                  0
              );
          }
      }
      
          

      File 3 of 3: TokenState
      /*
      -----------------------------------------------------------------
      FILE HEADER
      -----------------------------------------------------------------
      
      file:       TokenState.sol
      version:    1.0
      author:     Dominic Romanowski
                  Anton Jurisevic
      
      date:       2018-2-24
      checked:    Anton Jurisevic
      approved:   Samuel Brooks
      
      repo:       https://github.com/Havven/havven
      commit:     34e66009b98aa18976226c139270970d105045e3
      
      -----------------------------------------------------------------
      CONTRACT DESCRIPTION
      -----------------------------------------------------------------
      
      An Owned contract, to be inherited by other contracts.
      Requires its owner to be explicitly set in the constructor.
      Provides an onlyOwner access modifier.
      
      To change owner, the current owner must nominate the next owner,
      who then has to accept the nomination. The nomination can be
      cancelled before it is accepted by the new owner by having the
      previous owner change the nomination (setting it to 0).
      -----------------------------------------------------------------
      */
      
      pragma solidity ^0.4.20;
      
      contract Owned {
          address public owner;
          address public nominatedOwner;
      
          function Owned(address _owner)
              public
          {
              owner = _owner;
          }
      
          function nominateOwner(address _owner)
              external
              onlyOwner
          {
              nominatedOwner = _owner;
              emit OwnerNominated(_owner);
          }
      
          function acceptOwnership()
              external
          {
              require(msg.sender == nominatedOwner);
              emit OwnerChanged(owner, nominatedOwner);
              owner = nominatedOwner;
              nominatedOwner = address(0);
          }
      
          modifier onlyOwner
          {
              require(msg.sender == owner);
              _;
          }
      
          event OwnerNominated(address newOwner);
          event OwnerChanged(address oldOwner, address newOwner);
      }
      
      /*
      -----------------------------------------------------------------
      CONTRACT DESCRIPTION
      -----------------------------------------------------------------
      
      A contract that holds the state of an ERC20 compliant token.
      
      This contract is used side by side with external state token
      contracts, such as Havven and EtherNomin.
      It provides an easy way to upgrade contract logic while
      maintaining all user balances and allowances. This is designed
      to to make the changeover as easy as possible, since mappings
      are not so cheap or straightforward to migrate.
      
      The first deployed contract would create this state contract,
      using it as its store of balances.
      When a new contract is deployed, it links to the existing
      state contract, whose owner would then change its associated
      contract to the new one.
      
      -----------------------------------------------------------------
      */
      
      contract TokenState is Owned {
      
          // the address of the contract that can modify balances and allowances
          // this can only be changed by the owner of this contract
          address public associatedContract;
      
          // ERC20 fields.
          mapping(address => uint) public balanceOf;
          mapping(address => mapping(address => uint256)) public allowance;
      
          function TokenState(address _owner, address _associatedContract)
              Owned(_owner)
              public
          {
              associatedContract = _associatedContract;
              emit AssociatedContractUpdated(_associatedContract);
          }
      
          /* ========== SETTERS ========== */
      
          // Change the associated contract to a new address
          function setAssociatedContract(address _associatedContract)
              external
              onlyOwner
          {
              associatedContract = _associatedContract;
              emit AssociatedContractUpdated(_associatedContract);
          }
      
          function setAllowance(address tokenOwner, address spender, uint value)
              external
              onlyAssociatedContract
          {
              allowance[tokenOwner][spender] = value;
          }
      
          function setBalanceOf(address account, uint value)
              external
              onlyAssociatedContract
          {
              balanceOf[account] = value;
          }
      
      
          /* ========== MODIFIERS ========== */
      
          modifier onlyAssociatedContract
          {
              require(msg.sender == associatedContract);
              _;
          }
      
          /* ========== EVENTS ========== */
      
          event AssociatedContractUpdated(address _associatedContract);
      }
      
      /*
      MIT License
      
      Copyright (c) 2018 Havven
      
      Permission is hereby granted, free of charge, to any person obtaining a copy
      of this software and associated documentation files (the "Software"), to deal
      in the Software without restriction, including without limitation the rights
      to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
      copies of the Software, and to permit persons to whom the Software is
      furnished to do so, subject to the following conditions:
      
      The above copyright notice and this permission notice shall be included in all
      copies or substantial portions of the Software.
      
      THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
      IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
      FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
      AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
      LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
      OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
      SOFTWARE.
      */