convert UUIDCodecTest to spec