Complementary files for debugging. (Pushed ICircuitDest interface
although it should have already been pushed...)