next|prev|index

4. Constraints

Design principle: the more common the test is, the simpler it should be to write it

One common test: compile, run, check exit code is 0 and program output is empty.