string foo = "The quick brown fox jumps over the lazy dog";
write("0x%x\n", Gz.crc32(foo));