pub fn initialize_box_usize<T>( n_usize: usize, initializer: Rc<dyn Fn(&DafnyInt) -> T>, ) -> Box<[T]>