I've committed this relatively trivial patch to fix up some of the kernels loop annotation tests on the OG10 branch to match changes in the dump formatting. -Sandra