#include <stdio.h>

void print_int_array(int array[], int len) {
printf("[");
for (int i=0; i<len; i++) {
if (i == len - 1) {
printf("%d", array[i]);
} else {