Add printing after we find NMI