[ 2009-10 Santa Cruz: ]
NAD. Without concepts we do not feel that input iterator post increment is broken.