Constant HAX_VANILLA_RUSTC

pub(crate) const HAX_VANILLA_RUSTC: &str = "HAX_VANILLA_RUSTC";