.. Documentation for
   GROUP[pkg_hacl]
.. doxy:c:: !group__pkg__hacl
   :children: