debug prints to be pushed to server