#include "types.h"

void KernelMain(void) {
    volatile UInt64 meow = 0x12345;
}