Somewhere in this header it should make it clear that the resulting module is automatically generated and that people should refer to the relevant utility in iris-code-generators.