The fragments generated from the program: LABEL L0 " LABEL L1 " LABEL L13 SEQ( MOVE( TEMP t123, ESEQ( SEQ( CJUMP(EQ, TEMP t139, CONST 0, L20,L21), SEQ( LABEL L20, SEQ( MOVE( TEMP t142, CONST 0), SEQ( JUMP( NAME L22), SEQ( LABEL L21, SEQ( MOVE( TEMP t142, ESEQ( SEQ( CJUMP(EQ, TEMP t139, CONST 1, L17,L18), SEQ( LABEL L17, SEQ( MOVE( TEMP t141, CONST 1), SEQ( JUMP( NAME L19), SEQ( LABEL L18, SEQ( MOVE( TEMP t141, CALL( NAME L15, MEM( BINOP(PLUS, CONST ~4, TEMP t125)), BINOP(MINUS, TEMP t139, CONST 1))), LABEL L19)))))), TEMP t141)), LABEL L22)))))), TEMP t142)), LABEL L14) LABEL L15 SEQ( MOVE( TEMP t123, ESEQ( SEQ( CJUMP(EQ, TEMP t140, CONST 0, L23,L24), SEQ( LABEL L23, SEQ( MOVE( TEMP t143, CONST 1), SEQ( JUMP( NAME L25), SEQ( LABEL L24, SEQ( MOVE( TEMP t143, CALL( NAME L13, MEM( BINOP(PLUS, CONST ~4, TEMP t125)), BINOP(MINUS, TEMP t140, CONST 1))), LABEL L25)))))), TEMP t143)), LABEL L16) LABEL L26 5 is odd " LABEL L27 5 is even " LABEL $Main$$ SEQ( MOVE( TEMP t123, ESEQ( SEQ( CJUMP(EQ, CONST 0, CALL( NAME L13, TEMP t125, CONST 5), L29,L28), SEQ( LABEL L28, SEQ( MOVE( TEMP t144, CALL( NAME $Print$$, MEM( BINOP(PLUS, CONST 0, TEMP t125)), NAME L26)), SEQ( JUMP( NAME L30), SEQ( LABEL L29, SEQ( MOVE( TEMP t144, CALL( NAME $Print$$, MEM( BINOP(PLUS, CONST 0, TEMP t125)), NAME L27)), LABEL L30)))))), TEMP t144)), LABEL L12)