A tiny contatenative programming language