const char program_version[] = "0.25 (04 May 2006)";
