寻观「标准库」之书。

「当前优化数量」者（「新引用」授以「整数」）于「零」也。

「记录优化」乃化「有」而「有」也。
「记录优化」者会「无」而「写引用」于「当前优化数量」于（「加」于（「读引用」于「当前优化数量」）于「一」）也。
