fn main() {
    assert!(cfg!(miri));
}