DISDEB: an interactive high-level debugging system for a multi-microprocessor system