Source position: xinput.pp line 454
type TXIntegerFeedbackState = record
c_class: TXID;
length: cint;
id: TXID;
resolution: cint;
minVal: cint;
maxVal: cint;
end;