Another detail that I think should be included in the language specification: what happens if MinRandomInteger > MaxRandomInteger? Alternatively, what happens when the your lisp function random::random-integer is called with a negative argument?