taglinefilesource code
tcn_timer58net/bridge/br.cTimer           tcn_timer;        /* (4.5.4.2)   */
tcn_timer763net/bridge/br.ctcn_timer.value = 0;
tcn_timer764net/bridge/br.ctcn_timer.active = TRUE;
tcn_timer769net/bridge/br.ctcn_timer.active = FALSE;
tcn_timer774net/bridge/br.cif (tcn_timer.active && (++tcn_timer.value >=
tcn_timer776net/bridge/br.ctcn_timer.active = FALSE;