Symbol: sysc_read