TX_BUDGET
int budget = TX_BUDGET;
work_done = TX_BUDGET - budget;
if ((txc != TX_BUDGET) && (rxc != RX_BUDGET))