interface GovernorAlpha {
    /// @notice The total number of proposals
    function proposalCount() external returns (uint);
}
function proposalCount() external returns (uint);

/// @notice The total number of proposals