pub const kPrintfBufferSize: uint32 = 4096;