diffflags.cc #2