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