#include <stdio.h>

int main() {
  int a = 0x45 + 015;

  printf("a = %d\n",a);
  return 0;
}