trace: Support properties in trace files.
diff --git a/cli/cli_dump.cpp b/cli/cli_dump.cpp
index 817095b..a0c55ee 100644
--- a/cli/cli_dump.cpp
+++ b/cli/cli_dump.cpp
@@ -236,6 +236,11 @@
             return 1;
         }
 
+        const trace::Properties &properties = p.getProperties();
+        for (auto & kv : properties) {
+            std::cout << "// " << kv.first << " = " << kv.second << std::endl;
+        }
+
         trace::Call *call;
         while ((call = p.parse_call())) {
             if (calls.contains(*call)) {