The Mocha programming language