diff --git a/examples/dummy.py b/examples/dummy.py
new file mode 100755
index 0000000..22f7569
--- /dev/null
+++ b/examples/dummy.py
@@ -0,0 +1,5 @@
+#!/usr/bin/env python3
+#
+# a dummy file to keep mypy happy
+# (delete this file after providing actual examples)
+#