ASN.1 compiler 0.4: generates brief Doxygen file header for