Constant GLX_DOUBLEBUFFER 

pub const GLX_DOUBLEBUFFER: c_int = 0x0005;