REV: debugging