INTEGER decoding stub
diff --git a/skeletons/tests/check-OER-INTEGER.c b/skeletons/tests/check-OER-INTEGER.c
new file mode 100644
index 0000000..f5d4e63
--- /dev/null
+++ b/skeletons/tests/check-OER-INTEGER.c
@@ -0,0 +1,15 @@
+#include <stdio.h>
+#include <assert.h>
+
+#include <INTEGER.h>
+#include <INTEGER.c>
+#include <INTEGER_oer.c>
+
+void
+check_decode_ok(intmax_t control, uint8_t *buf, size_t size) {
+}
+
+int
+main() {
+	check_decode_ok(0, "", 1);
+}