model-checking
diff --git a/‎std/src/sys_common/wtf8.rs‎ renamed to ‎alloc/src/wtf8/mod.rs‎ b/‎std/src/sys_common/wtf8.rs‎ renamed to ‎alloc/src/wtf8/mod.rs‎
diff --git a/‎std/src/sys_common/wtf8/tests.rs‎ renamed to ‎alloc/src/wtf8/tests.rs‎ b/‎std/src/sys_common/wtf8/tests.rs‎ renamed to ‎alloc/src/wtf8/tests.rs‎