corresponds to Scala