Making names in generated code less likely to clash