That is truly a great question(!) -- because for rigorous testing/verification purposes, it is not merely enough to code what is necessary to support a target l

That is truly a great question(!) -- because for rigorous testing/verification purposes, it is not merely enough to code what is necessary to support a target language -- round -trips (transpilation + reverse transpilation) must match the original identically (formatting aside -- and/or sent through a deterministic code formatter on both sides, pre and post...). Otherwise there is something wrong (or potentially wrong!) -- in the transpiler and/or target language and/or the data model of the target language... and the tiniest error could potentially turn into something way bigger later if not addressed at that stage... I am curious how it round-trips, too! Anyway, excellent question!