std.maxArray([])