/*-------------------------------------------------------------------*/
/* hello.c                                                           */
/* The getpid system call.                                           */
/*-------------------------------------------------------------------*/

#include <stdio.h>
#include <unistd.h>

int main(int argc, char *argv[])
{
   printf("hello process (%ld)\n", (long)getpid());
   printf("Hello world.\n");
   return 0;
}


/* Sample executions:

$ gcc -o hello hello.c
$ hello
hello process (23564)
Hello world.
$ hello
hello process (23570)
Hello world.
$

*/