Constant MANGLE_PREFIX

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