Symbol: decode_lock