\section{Package: EFC_DB}\label{package}
        \section{Version: V0-0-2}\label{version}
        \section{Tag: sun-gcc}\label{tag}
        \section{Constituent: document}\label{constit}
        \section{Type: exe (executable)}\label{type}