Constant RTLD_DI_PROFILENAME 

pub const RTLD_DI_PROFILENAME: c_int = 7;