Remove "virtual" from all the record class's methods, including its
destructor, since we no longer expect to derive record subclasses
representing records expressed in specific record-syntaxes -- see
Remove "virtual" from all the record class's methods, including its
destructor, since we no longer expect to derive record subclasses
representing records expressed in specific record-syntaxes -- see