contract MockAdministratee is AdministrateeInterface {
    uint256 public timesRemargined;
    uint256 public timesEmergencyShutdown;

    // TODO(#969) Remove once prettier-plugin-solidity can handle the "override" keyword
    // prettier-ignore
    function remargin() external override {
        timesRemargined++;
    }

    // TODO(#969) Remove once prettier-plugin-solidity can handle the "override" keyword
    // prettier-ignore
    function emergencyShutdown() external override {
        timesEmergencyShutdown++;
    }
}
// A mock implementation of AdministrateeInterface, taking the place of a financial contract.
function remargin() external override {
    timesRemargined++;
}

// TODO(#969) Remove once prettier-plugin-solidity can handle the "override" keyword
// prettier-ignore