basic/src/Types.h

#ifndef BASIC_TYPES_H
#define BASIC_TYPES_H

#include <stddef.h>
#include <stdint.h>

typedef uint64_t u64;
typedef uint32_t u32;
typedef uint16_t u16;
typedef uint8_t u8;
typedef int64_t i64;
typedef int32_t i32;
typedef int16_t i16;
typedef int8_t i8;

#if defined(__GNUC__)
#define check_format(format_index, arg_start_index)                \
    __attribute__((format(printf, format_index, arg_start_index)))
#else
#error "please add a 'check_format' option"
#endif

#endif