There’s a mysterious line

              4607

at the top of testsuite/tests/typecheck/should_fail/all.T

Should it be there?  What does it do?  Could it be bad?

Simon