MAX_CID_ADDR
DBRUNIF((cid_addr > MAX_CID_ADDR || ctx_offset & 0x3 ||
DBRUNIF((cid_addr > MAX_CID_ADDR || ctx_offset & 0x3 || cid_addr & CTX_MASK),