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