[Turing_Machine]

You said:

> Unless the implementation language is exposed to users of the implemented language, it doesn't matter what the implementation language is.

But Racket can call Chez Scheme procedures, and vice versa.

For that matter, gfortran can call gcc functions.