#ifndef A523F6DB_0645_4DEB_8AEB_3792CB732B49
#define A523F6DB_0645_4DEB_8AEB_3792CB732B49

#include <Windows.h>
#include <stdint.h>
#include <stdio.h>

// Fallback to int if type is not annotated
// typedef int64_t undefined;
typedef uint32_t undefined4;
typedef uint16_t undefined2;
typedef unsigned char byte;
typedef byte undefined1;
// typedef uint64_t uint;
typedef void *pointer;
typedef char *TerminatedCString;
typedef char *string;

#endif /* A523F6DB_0645_4DEB_8AEB_3792CB732B49 */