Constant GF_REGION_DOUBLE_TABLE 

pub const GF_REGION_DOUBLE_TABLE: u32 = 1;