Constant MANGLE_PREFIX 

const MANGLE_PREFIX: &str = "__revmc_builtin_";

Available on crate feature ir only.