I'd have probably just used it? Well, it's not really my problem but everyone else's problem anyway, so I suppose other people would just have to make up a name for me. Whatever was more convenient for them would have been fine, probably.