+static void install_signal_handler()
+{
+ struct sigaction action;
+ action.sa_handler = signal_handler;
+ sigemptyset(&action.sa_mask);
+ action.sa_flags = SA_RESTART;
+ if (sigaction(SIGINT, &action, NULL) == -1) {
+ std::cerr << "sigaction: " << strerror(errno) << "\n";
+ exit(EXIT_FAILURE_OTHER);
+ }
+}
+
+#define PR_VALUE(descr, format, ...) \
+ XBT_INFO("| %.*s: " format, DATA_DESCR_WIDTH, \
+ descr ".................................................", \
+ __VA_ARGS__)
+