CCVector.{top,top_exn}