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