Stumbled on a programming contest this week from 2006, part of which is to implement a non-existent CPU based on a specification. My quick take, fun distraction: https://github.com/paulsmith/boundvariable/blob/main/um-32.c