Shortened code generatd by WriteTypeRenames