Sorry: I am using the compatible EiffelBase of 7.3. Perhaps that one is not structurally different from 5.7, even though the values attained by 'control' are different? They appear the same to me, except for syntax changes and a detachable added to a declaration.