rand for petite scheme
rand for mit scheme
metacircular evaluator
eval for primitive procedures
lambda, procedures for eval
conditional for eval