Symbol: R5_DOUBLE_LOCKED