Fajnie by było, gdyby istniał sposób, aby powiedzieć kompilatorowi „kompiluj ten dostęp do tablicy tylko wtedy, gdy możesz przeprowadzić eliminację sprawdzania granic” W ten sposób mógłbyś unikać sprawdzania granic bez pisania niebezpiecznego kodu, przynajmniej w niektórych okolicznościach.