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