fun LDC(x: Int) { env.topFrame().operandStack.pushBv32(ExpressionFactory.buildNewIntegerConstant(x)) }
Bytecode instruction stream : ... ,0x12 , index , ... < p > Push corresponding symbolic constant from constant pool ( at index ) onto the operand stack . http : //java.sun.com/docs/books/jvms/second_edition/html/Instructions2 . doc8.html # ldc