バイトコードのフォーマットは決定した上での、
四則演算と変数が使える程度の仮想マシンっての
はどう？