public List (S) ~ " (" { " ," S } " )" .
visitor noparse CountingVisitor = " Total:" <tot> Integer .