Symbol: fake_vmeread16