#include char *version_string = "mico-" MICO_VERSION;