A toy concatenative language to explore K ( http://k-framework.org )