A more robust name generator.

This is needed in some cases where some symbols are extracted from the same swf.