#include "ourhdr.h" int main(void) { printf("hello world from process ID %d\n", getpid()); exit(0); }