char VersionId[][80] = {
    "Archimedes RISCOS version 1.0.1",
    "HAND PATCHED due to buggy sed",
    "(c) LFCS Edinburgh University -- Use subject to license",
    "obtainable from info-server@lfcs.ed.ac.uk",
    ""
};
