asan/tsan: fix printf(), on the second pass it prints garbage and crashes on random pointer dereference