Debug helpers to check the veracity of the output