20070325 unknown: IHF flip-flops over Carvalho