rob76 I don't think there are decompilers, I know there are.
I don't need to provide you with any proof, and you don't need to believe me.
The decompiler I wrote about is not (yet) commercially available, so I cannot refer you to it.
I wrote my post to let you know that what has been claimed to be impossible for many years is in fact not impossible.