added lazy enumerator example