[ISI WoK] Add some debugging code