If the srm output format changes, these tests will fail, even if the
new format is legal.  In that case everything must be checked by hand,
and the test directory updated.
