unqueue1::Unqueue(BURST 32);
unqueue2::Unqueue(BURST 32);
unqueue3::Unqueue(BURST 32);
unqueue4::Unqueue(BURST 32);
hash::HashSwitch(16, 4);
chip::CheckIPHeader(14);
SpinlockInfo(test);
lock::SpinlockAcquire(test);
release::SpinlockRelease(test);
StaticThreadSched(unqueue1 1, unqueue2 1, unqueue3 2, unqueue4 2);

RandomSource(100) -> hash;

hash[0]->ThreadSafeQueue()->unqueue1->lock;
hash[1]->ThreadSafeQueue()->unqueue2->lock;
hash[2]->ThreadSafeQueue()->unqueue3->lock;
hash[3]->ThreadSafeQueue()->unqueue4->lock;

lock->chip;
chip[0]->release;
chip[1]->release;

release->Discard;