pub const eval_to_allocation_raw: &'static str = _;