--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("platform independant")) . "\n";
?>
--EXPECT--
ccd9fe66