Fix deoptimize declarations.
Fix the tests.