Diff tests must be turned off (uncomment them to check the output)