Decent version working.

Still need to implement (1) switching at TH; (2) decent
getNextAvailableNIC(); (3) lower-complexity signaling scheme.