diff --git a/programs/SimpleProgram.module.json b/programs/SimpleProgram.module.json
new file mode 100644
index 0000000..eb70fae
--- /dev/null
+++ b/programs/SimpleProgram.module.json
@@ -0,0 +1,6 @@
+{
+  "type": "competitive",
+  "inputs": ["SimpleProgram.js", "IO/PrintInt64.js"],
+  "cppOutput": "../generated-cpp/SimpleProgram.sol",
+  "coqOutput": "../generated-coq/SimpleProgram.v"
+}