Operational semantics of SIL in the form of a standard interpreter.
