ABA-Scala 5