\nameindexentry{Knuth, Donald E.}{1}
\nameindexentry{Lamport, Leslie}{1}