Javaバイトコード
上のJavaバイトコードは以下のように置き換えることができる。