Fixed initial vars, countdown loop, defs, and asserts.
Merge into Eueler repo
Merge into Euler repo