Edit: processor-flags.h