we have two copies of the u64_to_bytes() function (used in tests)

we have two copies of the u64_to_bytes() function (used in tests) #148