test/ubsan/TestCases/Misc/Inputs/no-interception-dso.c

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