we don't need the mutex definition in the meta code