printfworkaround