Might as well include this here. We can update the generated file whenever it is necessary.