public class RandomNumberGenerator {
               RandomNumberGenerator() {return;};
               RandomNumberGenerator(int seed) {return;};
               RandomNumberGenerator(RandomNumberGenerator parent, int spawnnumber) {return;};
        int    nextrand() {return 0;};
        int    rand() {return 0;};
        String showstate() {return "NULL";};
        String showtype() {return "NULL";};
}