It is the first stage of every useful program. Add to it, and show that it still terminates, uses finite memory, introduces no data races or undefined behavior

It is the first stage of every useful program. Add to it, and show that it still terminates, uses finite memory, introduces no data races or undefined behavior, and maybe computes a step toward something useful. Repeat until done.