// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT

use std::ptr::read;

#[kani::proof]
fn main() {
    let var = 1;
    unsafe {
        assert_eq!(read(&var), var);
    }
}