[[Java Community Process|JSR]] 292 (''Supporting Dynamically Typed Languages on the Java™ Platform'')<ref>[http://www.jcp.org/en/jsr/detail?id=292 see JSR 292]</ref> added a new <code>invokedynamic</code> instruction at the JVM level, to allow method invocation relying on dynamic [[Type system#Type checking|type checking]] (instead of the extant statically type-checked <code>invokevirtual</code> instruction). The [[Da Vinci Machine]] is a prototype virtual machine implementation that hosts JVM extensions aimed at supporting dynamic languages. All JVMs supporting [[Java Platform, Standard Edition|JSE]] 7 also include the <code>invokedynamic</code> opcode.
