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

int main()
{
  printf("%d: p4 running\n", getpid());
}