New C code that generates unique name strings.

Adding C code that generates a unique name string (by attaching a number string)
when a name string provided is not unique. If name string is already unique, no
modication to the provided name string occurs.