/* Marzullolib for wiring *//* Written by Kin Sun Ho (ksho@cse) *//* Last Modified: 12 August 2005 */includes Sasha;interface Marzullolib{  // add the mote  command result_t add_mote(CLNNMsg *pt);  // request of doing Marzullo  command CLNNMsg * doMarzullo(CLNNMsg *pt);  // reset the application  command result_t reset();}