Lines inserted for debugging.