REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3]);
REGB1 = TAG_Bool(ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
if (UNTAG_Bool(REGB1)) {
} else {
nit_abort("Uninitialized attribute %s", "_length", LOCATE_standard___collection___array, 270);
}
REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[3]);