+static void free_paje_event (paje_event_t event)
+{
+ if (event->event_type == PAJE_SetState) {
+ xbt_free (((setState_t)(event->data))->value);
+ }else if (event->event_type == PAJE_PushState) {
+ xbt_free (((pushState_t)(event->data))->value);
+ }else if (event->event_type == PAJE_NewEvent){
+ xbt_free (((newEvent_t)(event->data))->value);
+ }else if (event->event_type == PAJE_StartLink){
+ xbt_free (((startLink_t)(event->data))->value);
+ xbt_free (((startLink_t)(event->data))->key);
+ }else if (event->event_type == PAJE_EndLink){
+ xbt_free (((endLink_t)(event->data))->value);
+ xbt_free (((endLink_t)(event->data))->key);
+ }
+ xbt_free (event->data);
+ xbt_free (event);
+}
+