pub const MEMORY_BUDGET_CAPACITY_PERCENT: u64 = 10 /* 10u64 */;
Spec §10.3: memory may use at most this percentage of the effective provider input capacity.