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.