/* Auto-generated from php/php-langspec tests */
(0,0)
(0,0)
(100,0)
(1000,2000)
--------------------
NULL
NULL