Imperative Reasoning Is Hard · HackerTrans