If this test call is being used for manual verification as well as correctness, a comment to that effect might be nice. Ignore if just correctness.