Example from my Programming Language shoot out talk.