/*
  Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
  Licensed under the Apache 2.0 License.
*/

#include <inttypes.h>
#include "kremlib.h"
#include "kremlin/internal/compat.h"
#include "kremlin/internal/target.h"

#ifndef __C_Failure_H
#define __C_Failure_H




extern bool C_Failure_whatever();

#define __C_Failure_H_DEFINED
#endif
