include stdint.h for 64bits integer type declarations