debug printing to printfsyslog