/* GENERATED FILE, DO NOT EDIT */
/*******************************/
+#include <stdio.h>
#include "xbt.h"
/*******************************/
/* GENERATED FILE, DO NOT EDIT */
/*******************************/
-# 317 "xbt/ex.c"
+# 419 "xbt/ex.c"
+#include <stdio.h>
#include "xbt/ex.h"