A hole in Ada type safety