c: hello_puts.c without patmos specifics.