diff --git a/src/plugins/e-acsl/known_bugs/bts1695_stdio.c b/src/plugins/e-acsl/known_bugs/bts1695_stdio.c
new file mode 100644
index 0000000000000000000000000000000000000000..490a1bb351d29fabe90adb6aef46a24b351586ab
--- /dev/null
+++ b/src/plugins/e-acsl/known_bugs/bts1695_stdio.c
@@ -0,0 +1,7 @@
+#include <stdio.h>
+
+int main(void) {
+  int x = 2;
+  printf("x = %d\n", x);
+  return 0;
+}