By the way, what would be the use case of lazy strings ?<br clear="all"><br>-- <br>Alp Mestan<br>