On the semantics of pseudo-code · HackerTrans