diff --git a/stage0/src/runtime/hash.cpp b/stage0/src/runtime/hash.cpp
index 3ca1ce0d2c..526411ac18 100644
Binary files a/stage0/src/runtime/hash.cpp and b/stage0/src/runtime/hash.cpp differ
diff --git a/stage0/src/runtime/io.cpp b/stage0/src/runtime/io.cpp
index 8b2611515a..7f1e96f870 100644
Binary files a/stage0/src/runtime/io.cpp and b/stage0/src/runtime/io.cpp differ
diff --git a/stage0/stdlib/Init/Data/Ord/Basic.c b/stage0/stdlib/Init/Data/Ord/Basic.c
index c183ac313a..65ae1c2fe4 100644
Binary files a/stage0/stdlib/Init/Data/Ord/Basic.c and b/stage0/stdlib/Init/Data/Ord/Basic.c differ
diff --git a/stage0/stdlib/Init/Data/Slice/Array/Lemmas.c b/stage0/stdlib/Init/Data/Slice/Array/Lemmas.c
index 554ac2f3a1..b49d47c072 100644
Binary files a/stage0/stdlib/Init/Data/Slice/Array/Lemmas.c and b/stage0/stdlib/Init/Data/Slice/Array/Lemmas.c differ
diff --git a/stage0/stdlib/Init/Data/Slice/InternalLemmas.c b/stage0/stdlib/Init/Data/Slice/InternalLemmas.c
new file mode 100644
index 0000000000..71bb709af2
Binary files /dev/null and b/stage0/stdlib/Init/Data/Slice/InternalLemmas.c differ
diff --git a/stage0/stdlib/Init/Data/Slice/Lemmas.c b/stage0/stdlib/Init/Data/Slice/Lemmas.c
index 9d807353c2..b7c6d2ac1d 100644
Binary files a/stage0/stdlib/Init/Data/Slice/Lemmas.c and b/stage0/stdlib/Init/Data/Slice/Lemmas.c differ
diff --git a/stage0/stdlib/Init/Data/String/Basic.c b/stage0/stdlib/Init/Data/String/Basic.c
index 38db016214..d2883096fa 100644
Binary files a/stage0/stdlib/Init/Data/String/Basic.c and b/stage0/stdlib/Init/Data/String/Basic.c differ
diff --git a/stage0/stdlib/Init/Data/String/Defs.c b/stage0/stdlib/Init/Data/String/Defs.c
index c18c832451..294558e7a5 100644
Binary files a/stage0/stdlib/Init/Data/String/Defs.c and b/stage0/stdlib/Init/Data/String/Defs.c differ
diff --git a/stage0/stdlib/Init/Data/String/Lemmas/Pattern.c b/stage0/stdlib/Init/Data/String/Lemmas/Pattern.c
index 4be60c2928..524bb48301 100644
Binary files a/stage0/stdlib/Init/Data/String/Lemmas/Pattern.c and b/stage0/stdlib/Init/Data/String/Lemmas/Pattern.c differ
diff --git a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Char.c b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Char.c
index 1fae9a90f2..bb2353efc3 100644
Binary files a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Char.c and b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Char.c differ
diff --git a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Pred.c b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Pred.c
index 1f64a97026..506f8c0421 100644
Binary files a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Pred.c and b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/Pred.c differ
diff --git a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String.c b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String.c
new file mode 100644
index 0000000000..9c89e80c5d
Binary files /dev/null and b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String.c differ
diff --git a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/Basic.c b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/Basic.c
new file mode 100644
index 0000000000..73319b2955
Binary files /dev/null and b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/Basic.c differ
diff --git a/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/ForwardPattern.c b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/ForwardPattern.c
new file mode 100644
index 0000000000..ef83fa3ac6
Binary files /dev/null and b/stage0/stdlib/Init/Data/String/Lemmas/Pattern/String/ForwardPattern.c differ
diff --git a/stage0/stdlib/Init/Data/String/Lemmas/Splits.c b/stage0/stdlib/Init/Data/String/Lemmas/Splits.c
index 3882f948cf..3159288cac 100644
Binary files a/stage0/stdlib/Init/Data/String/Lemmas/Splits.c and b/stage0/stdlib/Init/Data/String/Lemmas/Splits.c differ
diff --git a/stage0/stdlib/Init/System/IO.c b/stage0/stdlib/Init/System/IO.c
index e6b12d8b5b..024d583ea8 100644
Binary files a/stage0/stdlib/Init/System/IO.c and b/stage0/stdlib/Init/System/IO.c differ
diff --git a/stage0/stdlib/Lake/Build/Common.c b/stage0/stdlib/Lake/Build/Common.c
index 31aec0826e..cefb53983d 100644
Binary files a/stage0/stdlib/Lake/Build/Common.c and b/stage0/stdlib/Lake/Build/Common.c differ
diff --git a/stage0/stdlib/Lake/Build/ExternLib.c b/stage0/stdlib/Lake/Build/ExternLib.c
index 9444f9e49a..aa5d9e6d48 100644
Binary files a/stage0/stdlib/Lake/Build/ExternLib.c and b/stage0/stdlib/Lake/Build/ExternLib.c differ
diff --git a/stage0/stdlib/Lake/Build/Module.c b/stage0/stdlib/Lake/Build/Module.c
index 88160e296f..c167a8b211 100644
Binary files a/stage0/stdlib/Lake/Build/Module.c and b/stage0/stdlib/Lake/Build/Module.c differ
diff --git a/stage0/stdlib/Lake/Build/Package.c b/stage0/stdlib/Lake/Build/Package.c
index b5c29e32da..876526c098 100644
Binary files a/stage0/stdlib/Lake/Build/Package.c and b/stage0/stdlib/Lake/Build/Package.c differ
diff --git a/stage0/stdlib/Lake/Build/Run.c b/stage0/stdlib/Lake/Build/Run.c
index e6382e0105..03a0c0094e 100644
Binary files a/stage0/stdlib/Lake/Build/Run.c and b/stage0/stdlib/Lake/Build/Run.c differ
diff --git a/stage0/stdlib/Lake/Build/Trace.c b/stage0/stdlib/Lake/Build/Trace.c
index 83f90fcb74..11f480c69f 100644
Binary files a/stage0/stdlib/Lake/Build/Trace.c and b/stage0/stdlib/Lake/Build/Trace.c differ
diff --git a/stage0/stdlib/Lake/Config/Monad.c b/stage0/stdlib/Lake/Config/Monad.c
index efb514347c..2ca75c4325 100644
Binary files a/stage0/stdlib/Lake/Config/Monad.c and b/stage0/stdlib/Lake/Config/Monad.c differ
diff --git a/stage0/stdlib/Lake/Config/Workspace.c b/stage0/stdlib/Lake/Config/Workspace.c
index 9809666361..202fd9a3e7 100644
Binary files a/stage0/stdlib/Lake/Config/Workspace.c and b/stage0/stdlib/Lake/Config/Workspace.c differ
diff --git a/stage0/stdlib/Lean/Compiler/CSimpAttr.c b/stage0/stdlib/Lean/Compiler/CSimpAttr.c
index b3e4b77cc9..b0a9482658 100644
Binary files a/stage0/stdlib/Lean/Compiler/CSimpAttr.c and b/stage0/stdlib/Lean/Compiler/CSimpAttr.c differ
diff --git a/stage0/stdlib/Lean/Compiler/IR.c b/stage0/stdlib/Lean/Compiler/IR.c
index 445830c8c9..803b6bc158 100644
Binary files a/stage0/stdlib/Lean/Compiler/IR.c and b/stage0/stdlib/Lean/Compiler/IR.c differ
diff --git a/stage0/stdlib/Lean/Compiler/IR/SimpCase.c b/stage0/stdlib/Lean/Compiler/IR/SimpCase.c
index a2367704fe..8363bd3b87 100644
Binary files a/stage0/stdlib/Lean/Compiler/IR/SimpCase.c and b/stage0/stdlib/Lean/Compiler/IR/SimpCase.c differ
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c b/stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c
index d1977ac42a..0cf66533a2 100644
Binary files a/stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c and b/stage0/stdlib/Lean/Compiler/LCNF/AlphaEqv.c differ
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/PassManager.c b/stage0/stdlib/Lean/Compiler/LCNF/PassManager.c
index 021c2b0650..9c3e7ed404 100644
Binary files a/stage0/stdlib/Lean/Compiler/LCNF/PassManager.c and b/stage0/stdlib/Lean/Compiler/LCNF/PassManager.c differ
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/Passes.c b/stage0/stdlib/Lean/Compiler/LCNF/Passes.c
index 3377d4d0af..9e2b62ff00 100644
Binary files a/stage0/stdlib/Lean/Compiler/LCNF/Passes.c and b/stage0/stdlib/Lean/Compiler/LCNF/Passes.c differ
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c b/stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c
index a668fa934b..0c12c5b412 100644
Binary files a/stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c and b/stage0/stdlib/Lean/Compiler/LCNF/PhaseExt.c differ
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c b/stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c
index 91dc89f9cc..107d8470c4 100644
Binary files a/stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c and b/stage0/stdlib/Lean/Compiler/LCNF/Simp/Main.c differ
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/SimpCase.c b/stage0/stdlib/Lean/Compiler/LCNF/SimpCase.c
new file mode 100644
index 0000000000..7dfcf3c501
Binary files /dev/null and b/stage0/stdlib/Lean/Compiler/LCNF/SimpCase.c differ
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/ToImpure.c b/stage0/stdlib/Lean/Compiler/LCNF/ToImpure.c
index 21e130713d..8d3111ad51 100644
Binary files a/stage0/stdlib/Lean/Compiler/LCNF/ToImpure.c and b/stage0/stdlib/Lean/Compiler/LCNF/ToImpure.c differ
diff --git a/stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c b/stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c
index ae52c38262..80770094c4 100644
Binary files a/stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c and b/stage0/stdlib/Lean/Compiler/LCNF/ToLCNF.c differ
diff --git a/stage0/stdlib/Lean/CoreM.c b/stage0/stdlib/Lean/CoreM.c
index b76f97c15e..d1f4a1a6cd 100644
Binary files a/stage0/stdlib/Lean/CoreM.c and b/stage0/stdlib/Lean/CoreM.c differ
diff --git a/stage0/stdlib/Lean/Elab/Command.c b/stage0/stdlib/Lean/Elab/Command.c
index 225a6b680e..a96e1debd9 100644
Binary files a/stage0/stdlib/Lean/Elab/Command.c and b/stage0/stdlib/Lean/Elab/Command.c differ
diff --git a/stage0/stdlib/Lean/Elab/Structure.c b/stage0/stdlib/Lean/Elab/Structure.c
index 997bb2c03b..8652f6e26a 100644
Binary files a/stage0/stdlib/Lean/Elab/Structure.c and b/stage0/stdlib/Lean/Elab/Structure.c differ
diff --git a/stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c b/stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c
index f2531311b6..4d78bcd4e2 100644
Binary files a/stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c and b/stage0/stdlib/Lean/Elab/Tactic/Do/Attr.c differ
diff --git a/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c b/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c
index ed620ffb8f..2a9415cab7 100644
Binary files a/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c and b/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen.c differ
diff --git a/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c b/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c
index a1b1e01077..96a0090201 100644
Binary files a/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c and b/stage0/stdlib/Lean/Elab/Tactic/Do/VCGen/Basic.c differ
diff --git a/stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c b/stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c
index 98c0411f83..4473d0e816 100644
Binary files a/stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c and b/stage0/stdlib/Lean/Elab/Tactic/Grind/Main.c differ
diff --git a/stage0/stdlib/Lean/Elab/Tactic/Grind/Param.c b/stage0/stdlib/Lean/Elab/Tactic/Grind/Param.c
index a14bdce73d..2650ab0ee1 100644
Binary files a/stage0/stdlib/Lean/Elab/Tactic/Grind/Param.c and b/stage0/stdlib/Lean/Elab/Tactic/Grind/Param.c differ
diff --git a/stage0/stdlib/Lean/Elab/Tactic/Simp.c b/stage0/stdlib/Lean/Elab/Tactic/Simp.c
index cd74b48e5b..f65d26da5f 100644
Binary files a/stage0/stdlib/Lean/Elab/Tactic/Simp.c and b/stage0/stdlib/Lean/Elab/Tactic/Simp.c differ
diff --git a/stage0/stdlib/Lean/Meta/ACLt.c b/stage0/stdlib/Lean/Meta/ACLt.c
index cbdc2fb14a..801ec9f5d8 100644
Binary files a/stage0/stdlib/Lean/Meta/ACLt.c and b/stage0/stdlib/Lean/Meta/ACLt.c differ
diff --git a/stage0/stdlib/Lean/Meta/Sym/Simp/ControlFlow.c b/stage0/stdlib/Lean/Meta/Sym/Simp/ControlFlow.c
index f8f8daf41d..9fc28671b1 100644
Binary files a/stage0/stdlib/Lean/Meta/Sym/Simp/ControlFlow.c and b/stage0/stdlib/Lean/Meta/Sym/Simp/ControlFlow.c differ
diff --git a/stage0/stdlib/Lean/Meta/Sym/Simp/Have.c b/stage0/stdlib/Lean/Meta/Sym/Simp/Have.c
index 6f47d6c36a..a056496608 100644
Binary files a/stage0/stdlib/Lean/Meta/Sym/Simp/Have.c and b/stage0/stdlib/Lean/Meta/Sym/Simp/Have.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Cbv.c b/stage0/stdlib/Lean/Meta/Tactic/Cbv.c
index f4d3dc9d78..d4f0039fdf 100644
Binary files a/stage0/stdlib/Lean/Meta/Tactic/Cbv.c and b/stage0/stdlib/Lean/Meta/Tactic/Cbv.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Cbv/CbvEvalExt.c b/stage0/stdlib/Lean/Meta/Tactic/Cbv/CbvEvalExt.c
new file mode 100644
index 0000000000..f482c2f34d
Binary files /dev/null and b/stage0/stdlib/Lean/Meta/Tactic/Cbv/CbvEvalExt.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Cbv/ControlFlow.c b/stage0/stdlib/Lean/Meta/Tactic/Cbv/ControlFlow.c
new file mode 100644
index 0000000000..6338bd7056
Binary files /dev/null and b/stage0/stdlib/Lean/Meta/Tactic/Cbv/ControlFlow.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Cbv/Main.c b/stage0/stdlib/Lean/Meta/Tactic/Cbv/Main.c
index aef274fad8..675abb9241 100644
Binary files a/stage0/stdlib/Lean/Meta/Tactic/Cbv/Main.c and b/stage0/stdlib/Lean/Meta/Tactic/Cbv/Main.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c b/stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c
index a1c7ae391b..8f9385440e 100644
Binary files a/stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c and b/stage0/stdlib/Lean/Meta/Tactic/Grind/Attr.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c b/stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c
index 500c611bff..2431032fc4 100644
Binary files a/stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c and b/stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Grind/RegisterCommand.c b/stage0/stdlib/Lean/Meta/Tactic/Grind/RegisterCommand.c
index dfce2a7dce..aedf720f88 100644
Binary files a/stage0/stdlib/Lean/Meta/Tactic/Grind/RegisterCommand.c and b/stage0/stdlib/Lean/Meta/Tactic/Grind/RegisterCommand.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/RegisterCommand.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/RegisterCommand.c
index fdec35287a..4101d867f5 100644
Binary files a/stage0/stdlib/Lean/Meta/Tactic/Simp/RegisterCommand.c and b/stage0/stdlib/Lean/Meta/Tactic/Simp/RegisterCommand.c differ
diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c
index e6de9ef3a8..1f1fcc957a 100644
Binary files a/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c and b/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c differ
diff --git a/stage0/stdlib/Std/Data/DTreeMap/Internal/Zipper.c b/stage0/stdlib/Std/Data/DTreeMap/Internal/Zipper.c
index dc970cde45..f51b181a1e 100644
Binary files a/stage0/stdlib/Std/Data/DTreeMap/Internal/Zipper.c and b/stage0/stdlib/Std/Data/DTreeMap/Internal/Zipper.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers.c b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers.c
index a0ec4ea3fa..a263f02634 100644
Binary files a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers.c and b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Array.c b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Array.c
index fd75ff8003..f3fd5e030b 100644
Binary files a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Array.c and b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Array.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic.c b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic.c
index ef416ee0fd..f996f79576 100644
Binary files a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic.c and b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic/Vector.c b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic/Vector.c
new file mode 100644
index 0000000000..c296feae21
Binary files /dev/null and b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic/Vector.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Slice.c b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Slice.c
index 708312b7a8..b30f46fc5c 100644
Binary files a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Slice.c and b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Slice.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Vector.c b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Vector.c
new file mode 100644
index 0000000000..3db0155d47
Binary files /dev/null and b/stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Vector.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Producers.c b/stage0/stdlib/Std/Data/Iterators/Producers.c
index 22f4ac52e8..38b9561412 100644
Binary files a/stage0/stdlib/Std/Data/Iterators/Producers.c and b/stage0/stdlib/Std/Data/Iterators/Producers.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Producers/Monadic.c b/stage0/stdlib/Std/Data/Iterators/Producers/Monadic.c
index 4bb7901e48..bd5571e5d2 100644
Binary files a/stage0/stdlib/Std/Data/Iterators/Producers/Monadic.c and b/stage0/stdlib/Std/Data/Iterators/Producers/Monadic.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Vector.c b/stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Vector.c
new file mode 100644
index 0000000000..2dad77c124
Binary files /dev/null and b/stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Vector.c differ
diff --git a/stage0/stdlib/Std/Data/Iterators/Producers/Vector.c b/stage0/stdlib/Std/Data/Iterators/Producers/Vector.c
new file mode 100644
index 0000000000..18a89c4359
Binary files /dev/null and b/stage0/stdlib/Std/Data/Iterators/Producers/Vector.c differ
diff --git a/stage0/stdlib/Std/Tactic/Do/Syntax.c b/stage0/stdlib/Std/Tactic/Do/Syntax.c
index 80df367210..9c4f300ef2 100644
Binary files a/stage0/stdlib/Std/Tactic/Do/Syntax.c and b/stage0/stdlib/Std/Tactic/Do/Syntax.c differ
diff --git a/stage0/stdlib/Std/Time/Date/PlainDate.c b/stage0/stdlib/Std/Time/Date/PlainDate.c
index e9acc16f71..5ee5875ddc 100644
Binary files a/stage0/stdlib/Std/Time/Date/PlainDate.c and b/stage0/stdlib/Std/Time/Date/PlainDate.c differ
diff --git a/stage0/stdlib/Std/Time/DateTime/PlainDateTime.c b/stage0/stdlib/Std/Time/DateTime/PlainDateTime.c
index f41f19663c..84ecab0bce 100644
Binary files a/stage0/stdlib/Std/Time/DateTime/PlainDateTime.c and b/stage0/stdlib/Std/Time/DateTime/PlainDateTime.c differ
diff --git a/stage0/stdlib/Std/Time/Zoned/Offset.c b/stage0/stdlib/Std/Time/Zoned/Offset.c
index 16ec5173c5..6555e887a9 100644
Binary files a/stage0/stdlib/Std/Time/Zoned/Offset.c and b/stage0/stdlib/Std/Time/Zoned/Offset.c differ