Uncommented (unreachable) debug code