/* Auto-generated from php/php-langspec tests */
array(4) {
  [12]=>
  int(10)
  ["0x10"]=>
  int(16)
  ["010"]=>
  int(8)
  ["0b11"]=>
  int(2)
}