SECD machine

Stack Environment Control Dump machine