JSR2 code for 1+2