Experimental super-stack-estimate checker.