void aint() {
  int a;
}

void achar () {
  char a;
}

void a2char() {
  char a[2];
}

void a5char() {
  char a[5];
}

void a12char() {
  char a[12];
}

void a17char() {
  char a[17];
}