Sorry, No manual entry for lazy_list_character_count/1