A procedural (imperative) smart contract programming language with syntax similar to Python.