TestDriverP.Boot -> MainC;
TestDriverP.SerialControl -> Serial;
TestDriverP.ICMPPing -> ICMPResponderC.ICMPPing[unique("PING")];
TestDriverP.CmdReceive -> Serial.Receive[AM_TESTDRIVER_MSG];
TestDriverP.IPRouting -> IPRoutingP;
TestDriverP.DoneSend -> Serial.AMSend[AM_TESTDRIVER_MSG];
TestDriverP.Boot -> MainC;
TestDriverP.SerialControl -> Serial;
TestDriverP.ICMPPing -> ICMPResponderC.ICMPPing[unique("PING")];
TestDriverP.CmdReceive -> Serial.Receive[AM_TESTDRIVER_MSG];
TestDriverP.IPRouting -> IPRoutingP;
TestDriverP.DoneSend -> Serial.AMSend[AM_TESTDRIVER_MSG];