testing type smashing on dacapo