Symbol: wl1251_read32