> Does ada use flag_wrapv or something? flag_wrapv no. "something" I can't tell, I cannot guess hat you have in mind. flag_wrapv is not really functional anyway, so even if we wanted, we couldn't use it today. Arno