#include "global.h"
#include "n64dd.h"

// Buffer used for reading from the disk?
u8 B_801DC000[0x4D10];