Replaced 0x00040000 with INT_BC