#include <stdio.h>

int value(int a) {
    return a + 1;
}

int
main(int argc, const char *argv[]) {
    printf("test %d\n", value(12));
    return 0;
}