print debugging msg to stdout