push debugging information