Test+Impl: Verify basic output from Main()
Test: Output size, failing with a simple off-by-one