Constant MANGLE_PREFIX 

pub(crate) const MANGLE_PREFIX: &str = "__revmc_builtin_";