/* Auto-generated from php/php-langspec tests */
$result = 3628800