Constant INFOTIPSIZE 

pub const INFOTIPSIZE: c_int = 1024;