/* example.c */
/* Compile and run with `gcc example.c say_hi.o -o hello` */
#include <stdio.h>

int main(int argc, char *argv[]) {
	extern say_hi();
	say_hi();
}