__builtin_ctz is apparently undefined for zero.
__builtin_ctz is apparently undefined for zero.

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