#!/usr/local/bin/tcc -run
#include <stdio.h>
void main(){
unsigned long long int a = 0xDEADBEEFDEADBEEF;
a >>= 32;
  printf("%lx\n", a);
}