Should have a file header doc comment