Docco for a few examples