blob: 200813d2a744ca145012ef45e5b2075d8964366d [file] [log] [blame]
#include <stdarg.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdlib.h>
#define EXT_CONST 0
typedef struct {
uint32_t data;
} ExtType;
void consume_ext(ExtType _ext);