fn hex64(x: u64) [16]u8

There are a few copies of this function in miscellaneous places. Would be nice to find a home for them.

Parameters

x: u64,