modify bounds checking of immediate values in assembly code, fix #2