+static void test_crc64(void)
+{
+ /* according to http://swissknife.sourceforge.net/CRC64.html */
+ ok1(crc64_iso(0, "IHATEMATH", strlen("IHATEMATH"))
+ == 0xE3DCADD69B01ADD1ULL);
+
+ /* according to the CRC64 poly, http://sf.net/projects/jcrcgen */
+ ok1(crc64_iso(0, "123456789", strlen("123456789"))
+ == 0x46A5A9388A5BEFFEULL);
+}
+