On second thought, that won't work in the case of it not being translatable-foreign-type, because then the mem-aref in the body has already kicked in. I'll have to look at this later.