Now using stdint.h for 64 bit systems