#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdlib.h>

typedef int16_t Foo_i16;

typedef int32_t Foo_i32;

typedef struct {
  Foo_i32 f;
  uint32_t p;
} Bar_i32__u32;

typedef int64_t Foo_i64;

typedef Foo_i64 Baz_i64;

typedef struct {
  int32_t field;
} NeverUsedWithDefault_i32;

#ifdef __cplusplus
extern "C" {
#endif // __cplusplus

void foo_root(Foo_i16 f, Bar_i32__u32 b, Baz_i64 z);

void with_i32(NeverUsedWithDefault_i32 x);

#ifdef __cplusplus
}  // extern "C"
#endif  // __cplusplus