Scala backend checkpoint