STL PRNG module that written in Gretea.
fn gechprng#seedtime() = uint64
fn gechprng#feed(seed: int) = int
fn gechprng#generate(seed: int) = int