Symbol: AVR32_READ_4