One of the IDB2 DC's terminates with a AbendS0C4