lc_timer_t *t_emit = NULL;
lc_timer_t *t_other = NULL;
lc_timer_t *t_verify = NULL;
lc_timer_t *t_emit = NULL;
lc_timer_t *t_other = NULL;
lc_timer_t *t_verify = NULL;
if (be_options.timing == BE_TIME_ON) {
t_abi = lc_timer_register("beabi", "be abi introduction");
if (be_options.timing == BE_TIME_ON) {
t_abi = lc_timer_register("beabi", "be abi introduction");