std.join([42], [[1], [2], [3]])