REGB4 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB4));
REGB3 = TAG_Bool(VAL_ISA(REGB4, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB3)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}
REGB4 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB4));
REGB3 = TAG_Bool(VAL_ISA(REGB4, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
if (UNTAG_Bool(REGB3)) {
} else {
nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
}