#include <stdio.h>

extern unsigned long int __guard;

int main(void) {
  printf("__guard: [[0x%x]]\n", __guard);
  while(1) { ; }
  return(0);
}