A very simple programming language