traffic_interval += (call Random.rand16()) % (TGEN_BASE_TIME);
if (call TrafficGenTimer.isRunning())
call TrafficGenTimer.stop();
traffic_interval += (call Random.rand16()) % (TGEN_BASE_TIME);
if (call TrafficGenTimer.isRunning())
call TrafficGenTimer.stop();