argv example in phpdbginit