#include <stdio.h>

int print_string(char *);

int
main(int argc, char *argv[])
{
    int a = print_string("hello, world\n");

    printf("print_string returned %d\n", a);
    return 0;
}