SELECT topK(emptyArrayInt16());