rkqc reverseBits32(qbit a[32]){
    int i;
    for (i=0;i<2;i++){
		assign_value_of_0_to_a(a[0], 1);
		assign_value_of_1_to_a(a[i], 1);
		assign_value_of_b_to_a(a[i], a[i+1], 1);
		a_swap_b(a[i+1],a[i],1);
		a_eq_a_plus_b(a[i+1],a[i],1);
    }
}
rkqc encrypt(){
    qbit h0[32];
    reverseBits32(h0);
}   

int main() {
    encrypt();
    return 0;
}