} else fra.me.REG[2] = once_value_1;
fra.me.REG[2] = fra.me.REG[2];
CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
} else fra.me.REG[2] = once_value_1;
fra.me.REG[2] = fra.me.REG[2];
CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);