Disable this for array indexing; might bring it back later.
Disable this for array indexing; might bring it back later.

diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark,HIPERFIT/futhark