OK; it also ought to be valid doxygen self-documentaiton, hence the @param tags that are usually used. (We're a long way from warning-free doxygen generation, but would like to improve...)