Scala Test-State.
The batteries-included Scala
Transactional language implementation for EncryCore Protocol