Implementation of DDARC: software architecture for debugging distributed programs