Lisp code supporting "Universal Computation".