+10/16/95 New setting: ElementSetNames
+
+11/12/95:New setting: recordElements. This is used to get a record at
+ a position with a given element specification.
+
+04/01/96:New setting: eventType. Returns type of last event: connect, init,
+ search, present or scan.