Usually a lambda calculus interpreter is the first thing I futz around with.