Java bytecode
The following Java bytecode