all code examples formatted with <pre>