Fixed-width work accounting. An exhausted charge preserves the last valid
state; it never wraps, partially charges, or supplies an admissible residual.
14constructor NormalizationBudgetValueThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.