pub const XC_GGA_X_DK87_R2: u32 = 112;