This is what it should generate.