diff --git a/.gitignore b/.gitignore
index 0908db1d6..ce76092cb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -76,7 +76,9 @@ mlr-[0-9.]*.tar.*
 c/jkopush
 c/run_mlr
 c/mlr_expect_fail
-c/push2f
+c/run_mlr_for_auxents
+c/push2
+push2
 data/.gitignore
 doc/jkopush
 doc/push2
diff --git a/data/gen.c b/data/gen.c
new file mode 100644
index 000000000..d6e7c9177
--- /dev/null
+++ b/data/gen.c
@@ -0,0 +1,12 @@
+#include <stdio.h>
+
+int main(int argc, char** argv) {
+	long long n = 100;
+	if (argc == 2) {
+		(void)sscanf(argv[1], "%lld", &n);
+	}
+	for (long long i = 0; i < n; i++) {
+		printf("i=%lld\n", i);
+	}
+	return 0;
+}