blob: b5e7b3006734b60649547f5b15cb8f3675b7ab6d [file] [log] [blame]
#include <stdio.h>
int some_symbol (void);
int main (void) {
int ret = some_symbol ();
if (ret == 1)
return 0;
fprintf (stderr, "ret was %i instead of 1\n", ret);
return -1;
}