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