export interface RandManager {
    number(): number;
}