diffflags.cc #1