Use uint64_t's, __USE_BSD, and remove asserts