$ cat >main.c
void writehello(void);
main()
{ writehello(); }

$ gcc main.c hello.o

$ ./a.out
Hello

$