#include <stdio.h>

#include <sys/types.h>
#include <unistd.h>

int main(int argc, char * argv[])
{
        printf("%s has PID %d\n", argv[0], getpid());
}