#include <stdio.h>

typedef unsigned char *pointer;

void show_bytes(pointer start, int len)
{
  int i;
  for (i=0; i < len; i++) {
    printf("%p\t0x%.2x\n", start+i, start[i]);
  }
  printf("\n");
}

int main(int argc, char ** argv)
{
  int a = 12345;

  printf("int a = %d (0x%x)\n", a, a);
  show_bytes((pointer)&a, sizeof(int));

  return 0;
}