#include <stdio.h>

//label: a = 0xDEADBEEF;

int main()
{
  int a;
  a = 0xDEADBEEF;
  return a;
}