/* If necessary, systematically rename identifiers so that they do not
collide with the system function. Renaming avoids problems with
/* If necessary, systematically rename identifiers so that they do not
collide with the system function. Renaming avoids problems with