D_80000450 = 0x80000450;
D_8000DCC4 = 0x8000DCC4;
D_80028E10 = 0x80028E10;
D_80030170 = 0x80030170;
D_80027034 = 0x80027034;
D_dk64_boot_80010670 = 0x80010670;
D_arcade_8004A30C = 0x8004A30C;
D_arcade_8004A310 = 0x8004A310;
D_arcade_8004A314 = 0x8004A314;
D_arcade_8004A75C = 0x8004A75C;
D_arcade_8004A784 = 0x8004A784;
D_menu_80033A78 = 0x80033A78;