const char* s_header_top = R"w2c_template(#include <stdint.h>
)w2c_template"
R"w2c_template(
#include "wasm-rt.h"
)w2c_template"
R"w2c_template(
#if defined(WASM_RT_ENABLE_EXCEPTION_HANDLING)
)w2c_template"
R"w2c_template(#include "wasm-rt-exceptions.h"
)w2c_template"
R"w2c_template(#endif
)w2c_template"
R"w2c_template(
#if defined(WASM_RT_ENABLE_SIMD)
)w2c_template"
R"w2c_template(#include "simde/wasm/simd128.h"
)w2c_template"
R"w2c_template(#endif
)w2c_template"
R"w2c_template(
/* TODO(binji): only use stdint.h types in header */
)w2c_template"
R"w2c_template(#ifndef WASM_RT_CORE_TYPES_DEFINED
)w2c_template"
R"w2c_template(#define WASM_RT_CORE_TYPES_DEFINED
)w2c_template"
R"w2c_template(typedef uint8_t u8;
)w2c_template"
R"w2c_template(typedef int8_t s8;
)w2c_template"
R"w2c_template(typedef uint16_t u16;
)w2c_template"
R"w2c_template(typedef int16_t s16;
)w2c_template"
R"w2c_template(typedef uint32_t u32;
)w2c_template"
R"w2c_template(typedef int32_t s32;
)w2c_template"
R"w2c_template(typedef uint64_t u64;
)w2c_template"
R"w2c_template(typedef int64_t s64;
)w2c_template"
R"w2c_template(typedef float f32;
)w2c_template"
R"w2c_template(typedef double f64;
)w2c_template"
R"w2c_template(
#if defined(WASM_RT_ENABLE_SIMD)
)w2c_template"
R"w2c_template(typedef simde_v128_t v128;
)w2c_template"
R"w2c_template(#endif
)w2c_template"
R"w2c_template(
#endif
)w2c_template"
R"w2c_template(
#ifdef __cplusplus
)w2c_template"
R"w2c_template(extern "C" {
)w2c_template"
R"w2c_template(#endif
)w2c_template"
;