If they used any open or even popular compiler, then that wouldn't solve anything. Folks would have already figured out how it works, since such encoding would

If they used any open or even popular compiler, then that wouldn't solve anything. Folks would have already figured out how it works, since such encoding would have to be deterministic.