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.