#![allow(unused_variables)]
#![feature(new_zeroed_alloc)]
fn main() {
    let zero = Box::<u32>::new_zeroed();
    let zero = unsafe { zero.assume_init() };
    assert_eq!(* zero, 0)
}