Was `@inbounds` not useful?