diff --git a/src/protocol/criterion.options b/src/protocol/criterion.options
new file mode 100644
index 0000000..179612a
--- /dev/null
+++ b/src/protocol/criterion.options
@@ -0,0 +1,8 @@
+criterion.protocol.assert.message   type : FT_POINTER
+criterion.protocol.assert.file      type : FT_POINTER
+criterion.protocol.log.message      type : FT_POINTER
+criterion.protocol.birth.name       type : FT_POINTER
+criterion.protocol.phase.name       type : FT_POINTER
+criterion.protocol.phase.message    type : FT_POINTER
+criterion.protocol.ack.message      type : FT_POINTER
+criterion.protocol.msg.uid          type : FT_POINTER