#include <iostream.h>
#include <stdlib.h>
#include <mico/version.h>

char version[] = MICO_VERSION;

int main()
{
  cout << version;
  exit(0);
}