makeAddendum
e.makeAddendum(" (line " + linecount + ")");
e.makeAddendum(" (line " + scopeLinenum + ")");