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_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);