Note that pid_t is a signed type and therefore needs %d in printf