pub fn builtin_make_array(
    sz: BoundedI32<0, { i32::MAX }>,
    func: FuncVal
) -> Result<ArrValue>