Reaching const evaluation singularity An introduction into miri and Rust's const evaluation