Moved examples from Language Implementation Patterns.