Constant RTLD_DI_PROFILENAME

pub const RTLD_DI_PROFILENAME: c_int = 7;