Cleaner input/output
assert as a primitive operation
Reset instruction counter on every loop