rem: torbutton_log(1,'status: tor is enabled'); 
add: torbutton_log(3,'status: tor is enabled'); 
context: function torbutton_set_status() {    if (torbutton_check_status()) {        torbutton_log(1,'status: tor is enabled');        torbutton_update_status(true, false);    } else {        torbutton_log(1,'status: tor is disabled');        torbutton_update_status(false, false);    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/40dcb9049bb6b7aafbc03e59afa063688fdd530e/torbutton.js/buggy/src/chrome/content/torbutton.js