more debug fprintfs