Give unique name to extension initializer/finalizer.