Add top-k.cc