Decoded program blob. GP Appendix A. deblob(p) → (code, bitmask, jumpTable)
Constructor
Jar.JAVM.Program.mk
Fields
code : ByteArray
Code bytes.
bitmask : Array Bool
Bitmask: one bit per code byte, marking opcode positions.
jumpTable : Array Nat
Jump table for dynamic jumps.