$__format = constant('__FORMAT_READ_32');
$__step = constant('__STEP_32');
-if ((isset($_SERVER['argv'][1])) && ($_SERVER['argv'][1] == '-64')) {
+if (PHP_INT_SIZE === 8) {
// Use 64-bit
$__factor = constant('__FACTOR_64');
$__format = constant('__FORMAT_READ_64');
$__step = constant('__STEP_64');
-} // END - if
+}
$buffer = file_get_contents('test.data.bin' . ($__factor * 2)) or die('Please run write.php first!' . PHP_EOL);
//print 'chr=' . $chr . PHP_EOL;
$decoded .= chr($chr);
- } // END - for
-} // END - for
+ }
+}
$decoded = gzuncompress($decoded);
print 'Writing ' . strlen($decoded) . ' bytes to output ...' . PHP_EOL;
file_put_contents('test.data.out' . ($__factor * 2), $decoded);
-
-// [EOF]
-?>