test cases/common/25 object extraction/lib2.c

int retval() {
  return 43;
}