in reply to getppid() returns cached value

It works fine for me on Linux (MDK 9.1, RHEL 4) : it says
My PID is 26131 My PPID is 1 after my parent is killed
Which is right, because the parent doesn't exist anymore, so the PPID should be 1 (init).