Figure 4: Documentation is delimited by <doc> tags, and code by <code> tags.