#include <stdio.h>
#include <stdlib.h>

void do_something_unrelated_to_a_and_b (void) {
  int c[1];
  c[10] = 42;
  c[11] = 99;
}



int main(void) {
  int a = 7;
  int b = 12;
  do_something_unrelated_to_a_and_b();
  printf("a is now %d, b is now %d\n", a, b);
  return 0;
}