text: /*
   * Copyright 2021 The HIBA Authors
   *
   * Use of this source code is governed by a BSD-style
   * license that can be found in the LICENSE file or at
   * https://developers.google.com/open-source/licenses/bsd
   */
  #ifndef _HIBA_H
  #define _HIBA_H
  
  #ifdef __cplusplus
  extern "C" {
  #endif  // __cplusplus
  
  #include "certificates.h"
  #include "checks.h"
  #include "errors.h"
  #include "extensions.h"
  
  #ifdef __cplusplus
  }
  #endif  // __cplusplus
  
  #endif  // _HIBA_H
  