\section{Package: EFC}\label{package}
        \section{Version: V4-3-0}\label{version}
        \section{Tag: sun-gcc}\label{tag}
        \section{Constituent: displaytest}\label{constit}
        \section{Type: exe (executable)}\label{type}