Symbol: INIT_MUTEX