--TEST--
Bug #36306 crc32() 64bit
--FILE--
<?php

/* as an example how to write crc32 tests
   PHP does not have uint values, you cannot
   display crc32 like a signed integer.
   Have to find some small strings to truely reproduce
   the problem, this example being not a problem
*/
echo dechex(crc32(b"platform independant")) . "\n";
?>
--EXPECT--
ccd9fe66