Symbol: fake_vmeread32