void bench_close(void);
void bench_print_boot_process(void);
void bench_print_ust_register(void);
+void bench_print_ust_unregister(void);
void bench_print_ust_notification(void);
double bench_get_create_session(void);
double bench_get_destroy_session(void);