Symbol: WRITE_INT_RAM