The generated test must keep in tune with the module.