#include <stdio.h>

int main() {
  int a = 10;
  printf("a = %d", a);
  return 0;
}

a = 10