/* Marzullolib for wiring *//* Written by Kin Sun Ho (ksho@cse) *//* Last Modified: 06 Septembber 2005 */includes Sasha;interface Marzullolib{  // add mtoe to the CLNN structure  command result_t add_mote(Cluster_Msg *pt);  // do Marzullo when MTimer timeouts  command uint8_t doMarzullo();  // get result when Marzullo has been done  command Cluster_Msg * getfinal(Cluster_Msg *pt);  // reset the whole Marzullo Application  command result_t reset();}