Symbol: dib8000_read32