Symbol: sd_read32