#include <stdio.h>
#include <stdlib.h>

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

int main(void) {
    printf("version = %s\n", version());
    exit(EXIT_SUCCESS);
}