/* Used by test-add-driver-options.c */ extern int callee_function (void) { return 1978; }