I'm curious about which high-level languages that teams used to successfully implement the UM. We eventually resorted to C after a very extended attempt with Kawa (a Scheme to Java byte code compiler). Thanks for any info on the matter. And thanks organizers, for a wonderful contest! --rob