scala-arm 1.3