Another termination issue (Semantics of the Futhark language) · HackerTrans