The "high-level CPU" challenge