3 #include "printarray.h"
5 void printarray_init(DOLProcess *p) {
9 int printarray_fire(DOLProcess *p) {
13 DOL_read((void*)PORT_IN1, &len, sizeof(int), p);
14 DOL_read((void*)PORT_IN2, array, sizeof(int)*len, p);
16 printf("sorted output\n");
18 printf("%d ", array[i]);