Make Initializer/Finalizer names unique