deferred int next;
int (result) next int limit pre limit > 1 post result >= 0 && result < limit;
const ia = 16807
const im = 2147483647
const iq = 12773
const ir = 2836
int seed;
id (self) init int s pre s > 0;
id init;
hashq
value of self
.
int next;
int
value.