add some debugging code; check everywhere instead of using IGNORE or not