Source position: xinput.pp line 736
type TXEventList = record
event_type: TXEventClass;
device: TXID;
end;