Is getpid supposed to return PID-1?