2 ms·Ada could have enforced those at the type system level, it has bounded types, but those checks were disabled.by shakna 7y agoAda could have enforced those at the type system level, it has bounded types, but those checks were disabled.