/*
 * print a permutation of array elements
 */

#include <stdio.h>

void use_permutation(int *arr, int size)
{
    int i;
    for(i = 0; i < size; i++)
    {
        printf("%3d", arr[i]);
    }
    printf("\n");
}