pub fn array_resize(array: Expr, size: Expr, value: Expr) -> Expr
returns an array with the specified size filled with the given value.