a simple programming language