* tests/php/semantic/strmap.php: getting rid of