memread gets the correct answer in bsim