class IHigherOrderConsumer inherits IStringConsumer { token: IToken; token() : IToken { token }; did(length: Int) : Bool { 0 < (consumed_length <- consumed_length + length) }; };