indeed, SAS does use a complicated formula to produce its so-called "random" numbers. Instead, they are
"random" in the sense that we cannot anticipate in advance the numbers SAS will choose, and
the numbers it chooses look as if they came from a uniform distribution.