1--TEST--
2Variable with integer name
3--FILE--
4<?php
5
6${10} = 42;
7var_dump(${10});
8
9?>
10--EXPECT--
11int(42)
12