back out trace printf