Source position: xinput.pp line 728
type TXDevice = record
device_id: TXID;
num_classes: cint;
classes: PXInputClassInfo;
end;