debugging algorithms