Implement/Test EXEC.=
Implement/Test EXEC.DEFINE