Do not call before after type checking ends.
Do not call before after type checking ends. PP: I think that directive needs to lose a word somewhere.
Create a fresh name with the given prefix.
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).