Obituary: printf(goodbye, Dennis);