CHECK: DEFINE_MUTEX definition without comment