Receiving TinyOS packets.
event TOS_MsgPtr ReceiveMsg.receive(TOS_MsgPtr m) { return m; }
TOS_MsgPtr buffer; event TOS_MsgPtr ReceiveMsg.receive(TOS_MsgPtr m) { TOS_MsgPtr tmp; tmp = buffer; buffer = m; post receiveTask(); return tmp; }