Test function

Also written: test_ function

A function named `test_` plus what it tests, whose asserts check one thing, called from `main`. The first failed assert ends the run.