+void TRACE_msg_vm_start(msg_vm_t vm)
+{
+ if (TRACE_msg_vm_is_enabled()){
+ int len = INSTR_DEFAULT_STR_SIZE;
+ char str[INSTR_DEFAULT_STR_SIZE];
+
+ container_t vm_container = PJ_container_get (instr_vm_id(vm, str, len));
+ type_t type = PJ_type_get ("MSG_VM_STATE", vm_container->type);
+ val_t value = PJ_value_get_or_new ("start", "0 0 1", type); //start is blue
+ new_pajePushState (MSG_get_clock(), vm_container, type, value);
+ }
+
+}
+