#include <stdio.h>

main() {
  int a, b;

  a = 10;
  b = 5;

  a += b;
  printf ("a: %d\n", a);
}