JVM bytecode is well specified. [0] Racket is not [1]. It's just the internal representation that the compiler uses. Sort of like marshalling in Python. [0] h

JVM bytecode is well specified. [0] Racket is not [1]. It's just the internal representation that the compiler uses. Sort of like marshalling in Python. [0] https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.ht... [1] https://docs.racket-lang.org/raco/API_for_Making_Bytecode.html https://docs.racket-lang.org/raco/API_for_Making_Bytecode.ht...