A small but practical concatenative programming language.