NEW internal names avoid name clashes with user defined ones