Use mkTFGen.