//-------------------------------------------------------
//◎output.c
#include <stdio.h>
int output(int data[], int size) {
  int i;
  for( i = 0; i < size; i += 1) printf("%d ", data[i]);
  printf("\n");
  return 0;
} // end of output