// utilities
-function debug_dict (msg, o) {
+function debug_dict_keys (msg, o) {
var keys=[];
for (var k in o) keys.push(k);
- console.log ("debug_dict: " + msg + " keys= " + keys);
+ console.log ("debug_dict_keys: " + msg + " keys= " + keys);
+}
+function debug_dict (msg, o) {
+ for (var k in o) console.log ("debug_dict_keys: " + msg + " [" + k + "]=" + o[k]);
}
function debug_value (msg, value) {
console.log ("debug_value: " + msg + " " + value);