[imode]

Regarding the "functional machine" model, that's not a machine model, and the steps to evaluate that interpreter don't constitute an effective method.