hokud: support topk when loading stream from input file