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