#ifndef H_KERNEL_VERSION
#define H_KERNEL_VERSION
const char *eressea_version(void);
int version_no(const char *str);
#endif