model-checking
diff --git a/‎core/src/intrinsics.rs renamed to ‎core/src/intrinsics/mod.rs b/‎core/src/intrinsics.rs renamed to ‎core/src/intrinsics/mod.rs