one line of debugging code