Examples for the lazydoc framework