#include //TODO Implement CRC calculation in Makefile(?) u32 D_80390B20 = 0x00282B61; //BGS.code CRC1 u32 D_80390B24 = 0xccdaeea0; //BGS.code CRC2 u32 D_80390B28 = 0x0002DE6B; //BGS.data CRC1 (with this value = 0)