new testcase for a -basicaa bug that Alkis found with Java.