A programming language prototype