Constant CONFIG_VALGRIND_H 

pub const CONFIG_VALGRIND_H: u32 = 1;