interface IRandomNumberGenerator {

    /** 
     * Requests randomness from a user-provided seed
     */
    function getRandomNumber(
        uint256 userProvidedSeed
    ) 
        external 
        returns (bytes32 requestId);
}
function getRandomNumber(
    uint256 userProvidedSeed
) 
    external 
    returns (bytes32 requestId);

/**
 * Requests randomness from a user-provided seed
 */