CHECK: Please don't use multiple blank lines
WARNING: Block comments should align the * on each line