+pub use crate::data_race::{
+ AtomicReadOp, AtomicWriteOp, AtomicRwOp, AtomicFenceOp,
+ EvalContextExt as DataRaceEvalContextExt
+};
+pub use crate::diagnostics::{
+ register_diagnostic, report_error, EvalContextExt as DiagnosticsEvalContextExt,
+ TerminationInfo, NonHaltingDiagnostic,
+};
+pub use crate::eval::{create_ecx, eval_main, AlignmentCheck, MiriConfig};
+pub use crate::helpers::EvalContextExt as HelpersEvalContextExt;
+pub use crate::machine::{
+ AllocExtra, Evaluator, FrameData, MemoryExtra, MiriEvalContext, MiriEvalContextExt,
+ MiriMemoryKind, NUM_CPUS, PAGE_SIZE, STACK_ADDR, STACK_SIZE,
+};
+pub use crate::mono_hash_map::MonoHashMap;