The fragments generated from the program: LABEL L0 " LABEL L1 " LABEL $Main$$ SEQ( MOVE( TEMP t123, ESEQ( MOVE( TEMP t141, ESEQ( SEQ( MOVE( TEMP t139, CONST 10), SEQ( MOVE( TEMP t140, CONST 0), SEQ( CJUMP(LT, TEMP t139, CONST 0, L13,L14), SEQ( LABEL L13, SEQ( EXP( CALL( NAME $SizeError$$)), SEQ( JUMP( NAME L12), LABEL L14)))))), CALL( NAME $InitArray$$, TEMP t139, TEMP t140))), MEM( ESEQ( SEQ( MOVE( TEMP t142, TEMP t141), SEQ( MOVE( TEMP t143, CONST 2), SEQ( CJUMP(LE, MEM( TEMP t142), TEMP t143, L15,L16), SEQ( LABEL L15, SEQ( EXP( CALL( NAME $UpperBoundExit$$)), SEQ( JUMP( NAME L12), SEQ( LABEL L16, SEQ( CJUMP(LT, TEMP t143, CONST 0, L17,L18), SEQ( LABEL L17, SEQ( EXP( CALL( NAME $LowerBoundExit$$)), SEQ( JUMP( NAME L12), LABEL L18))))))))))), BINOP(PLUS, TEMP t142, BINOP(MUL, CONST 4, BINOP(PLUS, CONST 1, TEMP t143))))))), LABEL L12)