+void pajeDefineEventTypeWithColor(const char *alias, const char *containerType,
+ const char *name, const char *color)
+{
+ INSTR_PAJE_ASSERT(alias);
+ INSTR_PAJE_ASSERT(containerType);
+ INSTR_PAJE_ASSERT(name);
+ INSTR_PAJE_ASSERT(name);
+
+ fprintf(tracing_file, "%d %s %s %s %s\n", pajeDefineEventTypeWithColorId, alias,
+ containerType, name, color);
+}
+