int dso_function(int i) {
  return i + 1;
}