bug597/Test.scala
bug597/Main.scala