Another termination issue (Semantics of the Futhark language)
futhark-lang.org