Correct test for marshalUint64()