CHECK: struct mutex definition without comment
WARNING: function definition argument 'int' should also have an identifier name