undecorated name в энциклопедиях
"недекорированное" (обычное) имя (в исходном файле), см. тж decorated name