void speed_rank1(static_bitsequence * ss, uint * bitseq, uint n);
void speed_select0(static_bitsequence * ss, uint * bitseq, uint n);
void speed_select1(static_bitsequence * ss, uint * bitseq, uint n);
+void speed_selectnext1(static_bitsequence * ss, uint * bitseq, uint n);
#endif