You don't have to verify the code with gotos, you have to verify the translator. After all, if you were serious about this, you'd have to stop using most comput

You don't have to verify the code with gotos, you have to verify the translator. After all, if you were serious about this, you'd have to stop using most computers since they do actually run programs with JMPs in in.