Javaバイトコード
"This code can also be compared with the corresponding code in the article about Java bytecode."