char *rxp_version_string = 
    "RXP 1.2.5 Copyright Richard Tobin, LTG, HCRC, University of Edinburgh";