Fixed-width work accounting. An exhausted charge preserves the last valid
state; it never wraps, partially charges, or supplies an admissible residual.
16field unrestricted normalizationWorkRemaining : (family ModelWord32)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.