A small programming language.