IVI2_SMT (Rom copy): I_G2_6