Squashed the UINT64_C error. Hopefully.