The stripe programming language.