A minimal programming language