#include <stdio.h> 
#include <stdint.h>
#include <inttypes.h>

int main()
{
  int64_t a, b, c;
  
  a = 0x2;
  b = 0x0;
  c = b - a;

  printf("%016"PRIx64"\n",c);
  
  b = 0x1000000000000000;
  c = b - a;
  
  printf("%016"PRIx64"\n",c);
}