By the way, what would be the use case of lazy strings ? -- Alp Mestan