#include <stdio.h>

int main() {
  int a = 3;
  printf("hello, world!\n");
  printf("a: %d\n", a);
}

int hello = 35;