name error now describes the offending name
Added random number generator to misc/