remove dodgy wchar type, use UINT64_MAX from stdint.h for U64_MAX