-logging for stack overflow
-looking for bugs in remove-top-values