Comment by avadodin

I missed a definition for "random".

Did it have a specific PRNG and seed?

Was it platform–dependent?