#include "debug.h"

static const char *version="v1.00 (03 Sep 2003)";

const char *get_version(void)
{
  debug0("get_version()");
  return version;
}