| #include <stdint.h> | |
| #ifndef WASM_RT_CORE_TYPES_DEFINED | |
| #define WASM_RT_CORE_TYPES_DEFINED | |
| typedef uint8_t u8; | |
| typedef int8_t s8; | |
| typedef uint16_t u16; | |
| typedef int16_t s16; | |
| typedef uint32_t u32; | |
| typedef int32_t s32; | |
| typedef uint64_t u64; | |
| typedef int64_t s64; | |
| typedef float f32; | |
| typedef double f64; | |
| #endif | |
| #ifdef __cplusplus | |
| extern "C" { | |
| #endif |