Constant kPrintfBufferSize 

pub const kPrintfBufferSize: uint32 = 4096;