Add debugging support to MESIF