void print_pid(char* format, int pid);