Changed int *common* to a uint64_t
Added missing stdint.h
Merge pull request #9 from chiayolin/core-develop

64-bit core