Function initialize 

pub fn initialize<T>(
    n: &DafnyInt,
    initializer: Rc<dyn Fn(&DafnyInt) -> T>,
) -> Ptr<[T]>