Dennis Ritchie morreu, não deu…

Dennis Ritchie morreu, não deu no Jornal Nacional, nem em lugar algum. http://en.wikipedia.org/wiki/Dennis_Ritchie#Death