Source position: xinput.pp line 764
type TXDeviceState = record
device_id: TXID;
num_classes: cint;
data: PXInputClass;
end;