const SMALL_L1_SIZE_FACTOR: u64 = 4;
A small L1 file occupies at most one quarter of the output size budget.