Random generator renamed.