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