tweak decompiler to use a different name for boxed locals
tweak decompiler to use a different name for boxed locals

original commit: 535c8e0a09a2bb9ed34881ed19f81763226c9d12

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket