Recursive transcompiling