svoid dm_onTopInputChanged(VF1<S> r) {
  dm_onTopInputChange(r);
}