debugcode PRINTFARGS