mechanism has changed anyway, and so must be rewritten, but at least doing this makes the output of "make symcheck" more legible.