/* * Note: we must be in the mutex here! */