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