Print the process ID

# include ”ourhdr.h”

int

main(void)

{

printf(“hello world from process IF %d\n”, getpid( ) );

exit (0);

}