H.O. imperative machine semantics.
Day 1 edits.