@Ignacio: Eu estava lutando com a linguagem lá: "ele não faz nada" pode ser interpretado como "ele, erroneamente, faz alguma coisa"? ... Provavelmente estou assustado com coisas como as diferenças sutis entre "indefinido" e "não especificado" em C ++.