Symbol: READ_INT