docs() demo of a generated file