VerifyError with kawa-1.6.70

["Brian D. Carlstrom" <bdc at zurich dot ai dot mit dot edu>]

I'm trying to benchmark Kawa with the qobi Scheme version of the Gabriel
benchmarks, similar to: 

http://sources.redhat.com/kawa/papers/KawaLisp98-html/x1005.html

I just ran into this VerifyError although everything else if fine. 

Any ideas? A compiler bug or a picky verifier? any easy way to work
around this in the later case.

-bri

stalin-0.8/benchmarks/destruct.sc
java.lang.VerifyError: (class: atInteractiveLevel, method: destructive
signature: (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;)
Expecting to find object/array on stack
	at java.lang.ClassLoader.resolveClass0(Native Method)
	at java.lang.ClassLoader.resolveClass(ClassLoader.java:545)
	at gnu.bytecode.ArrayClassLoader.loadClass(ArrayClassLoader.java, Compiled Code)
	at gnu.expr.LambdaExp.evalToClass(LambdaExp.java, Compiled Code)
	at gnu.expr.LambdaExp.eval(LambdaExp.java:1371)
	at gnu.expr.ModuleExp.evalModule(ModuleExp.java, Compiled Code)
	at kawa.Shell.run(Shell.java, Compiled Code)
	at kawa.standard.load.loadSource(load.java:124)
	at kawa.standard.load.apply(load.java:219)
	at kawa.standard.load.apply2(load.java:149)
	at kawa.standard.load.apply1(load.java:140)
	at atInteractiveLevel.scriptRunTest(Unknown Source)
	at atInteractiveLevel.apply1(Unknown Source)
	at gnu.expr.ModuleBody.applyN(ModuleBody.java:95)
	at gnu.expr.ModuleMethod.applyN(ModuleMethod.java:61)
	at gnu.expr.ApplyExp.eval(ApplyExp.java, Compiled Code)
	at gnu.expr.ModuleExp.evalModule(ModuleExp.java, Compiled Code)
	at kawa.Shell.run(Shell.java, Compiled Code)
	at kawa.standard.load.loadSource(load.java:124)
	at kawa.standard.load.loadSource(load.java:102)
	at kawa.standard.load.apply(load.java:173)
	at kawa.Shell.runFile(Shell.java:124)
	at kawa.repl.main(repl.java, Compiled Code)
Exception in thread "main"