The “high-level CPU” challenge (2008) – http://yosefk.com/blog/the-high-level-cpu-challenge.html