/* DCE3; second instance starts at 0x7800 NOT 0x7700 */