const T: usize = 3

const N: usize = 3

type Holder<U: Type> {
    value: U,
}

type Box<static N: usize> {
    value: i32,
}

fn unwrap<T: Type>(holder: ref<Holder<T>>) -> T {
    return holder.value
}

fn forwardUnwrap<T: Type>(holder: ref<Holder<T>>) -> T {
    return unwrap(holder)
}

fn read<static N: usize>(box: ref<Box<N>>) -> i32 {
    return box.value
}

pub fn main() -> Void {
    let holder: Holder<i32> = Holder { value: 5 }
    let value: i32 = forwardUnwrap(&holder)
    let box: Box<4> = Box { value: 9 }
    let boxed: i32 = read(&box)
    expect (value == 5 && boxed == 9)
}