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.