Abstract machines are the core of what defines a programming language. A wide variety of operating systems and plethora of hardware ensures a bewildering