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