// dump.js - Rotinas para imprimir objetos e vetores. // NOTA: Está uma carroça. function pad(n) { var s = ""; for (var i=0; i