Testing header generator for mkdoc.sh