Funciona, God.
Depois de muito quebrar a cabeça, aprendi que a declaracao e a formatacao de variaveis de 64bits é diferente pra alguns gccs.
O pior que não encontrei essa info na epoca que precisava. não é uma info facil, afinal quase ngm trabalha com mais q 32bits.
A linguaguem c não processa mais que 32 bits?
Estou usando o mingw-w64 8.1.0 e o windows10 de 64 bits
#include <stdio.h>
#include <stdint.h>
int main(){
int64_t x = 0x00000001FFFFFFFF;
printf("0x%016X\n",x);
printf("%d\n",x);
printf("%i\n",x);
return 0;
}