#include <stdio.h>

int x = 5;
int y = 3;
int result;

int main(int argc, char **argv)
{
  result = x + y;

  printf("result = %d (0x%8.8x)\n", result, result);
  return 0;
}