1--TEST--
2Bug #36306 (crc32() 64bit)
3--FILE--
4<?php
5
6/* as an example how to write crc32 tests
7   PHP does not have uint values, you cannot
8   display crc32 like a signed integer.
9   Have to find some small strings to truly reproduce
10   the problem, this example being not a problem
11*/
12echo dechex(crc32("platform independent")) . "\n";
13?>
14--EXPECT--
15cbd056ba
16