Another termination issue (Semantics of the Futhark language) | Dark Hacker News