A simple programming language