marmoset-test-cases/benchmark/benchmark-program-1.c

#include <stdio.h>

int main(void) {
    int input;
    scanf("%d", &input);
    printf("%d\n", input + 123);

    return 0;
}