A toy programming language