CHECK: struct mutex definition without comment