Symbol: monitor_read