CHECK: Please don't use multiple blank lines
WARNING: Missing a blank line after declarations