#ifndef A523F6DB_0645_4DEB_8AEB_3792CB732B49
#define A523F6DB_0645_4DEB_8AEB_3792CB732B49

// Header included in all decompiled files to fix some common recompilation issues
#include <stdint.h>
#include <Windows.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 */
