std.reverse([])