Dennis Ritchie Dead at 70