Source position: xinput.pp line 527
type TXIntegerFeedbackControl = record
c_class: TXID;
length: cint;
id: TXID;
int_to_display: cint;
end;