function emptyWithLeading(x, ...[]) {}