Simple tests can demonstrate whether a code generator is actually doing what you ask ...