Isn't this "Semantic Inlining?"

Semantic Inlining
Mechanism in several Java compilers
Convert bytecode to special inlined machine code
e.g., complex floating-point arithmetic

Jaguar uses same basic technique
But applies it to very different problem:
Type-safe mapping of I/O, network devices

One key difference
Allows data flow to circumvent JVM
External objects, not Java arrays!