Add benchmark/benchmark-program-1.c

benchmark/benchmark-program-1.c

@@ -0,0 +1,9 @@
+#include <stdio.h>
+
+int main(void) {
+    int input;
+    scanf("%d", &input);
+    printf("%d\n", input + 123);
+
+    return 0;
+}