Symbol: LTL_BLOCK_ON_RT_MUTEX