all names normalized in interpreter