#include <stdio.h>

void permutation(int a,int b) {
  printf("# %3d %3d #\n", a, b);
  int aux = a;
  a = b;
  b = aux;
  printf("# %3d %3d #\n", a, b);
}

void main(void) {
  permutation(3, 5);
  printf("\n");
  int v1 = 8;
  int v2 = 6;
  printf("@ %3d %3d @\n", v1, v2);
  permutation(v1, v2);
  printf("@ %3d %3d @\n", v1, v2);
}