Regenerated tests.

They need to be checked again, of course!