Symbol: ldc_read