<code> inside <pre>