codegen: generate unboxing code for int; incorrect result