#include <stdio.h>
#include <stdlib.h>

void f(int t[], uint len) {
    uint i = 0;
    while (i + 1 < len) {
        t[i] = t[i] ^ t[i + 1];
        t[i + 1] = t[i] ^ t[i + 1];
        t[i] = t[i] ^ t[i + 1];
        i++;
    }
}

int main() {
    int t[3] = {3, 6, 7};
    printf("t = {%d, %d, %d}\n", t[0], t[1], t[2]);
    f(t, 3);
    printf("t = {%d, %d, %d}\n", t[0], t[1], t[2]);
}