desc() in EnrichedInputStream