Use uinteger_t instead of uint64_t to avoid mangling problems on OSX