Default

Create a fresh name with the given prefix. It is guaranteed that the returned name has never been returned by a previous call to this function (provided the prefix does not end in a digit).