Testing Code Generators Against Definitional Interpreters