Java: Jasmin: キャストとか（結構めんどくさい）

次のようなプログラムを考える。

getstatic java/lang/System/out Ljava/io/PrintStream;
checkcast java/lang/Object
ldc 1
invokevirtual java/io/PrintStream/println(I)V

これを実行すると、

$ java test
Exception in thread "main" java.lang.VerifyError: (class: test, method: main signature: ([Ljava/lang/String;)V) Incompatible object argument for function call

となるということは、Jasminでもキャストをきちんとやらないと正しく動いてくれないということなのかな。
Jasminを追求するのはもう少し後にする方がいいかもしれないな。
とりあえず、昨日の本は注文した。amazon.comの方で古本が安く出品されていたので。