#include <assert.h>

typedef enum color {RED, BLUE} color_t;

color_t f() {
  return RED;
}

int main() {
  int x=0;

  if (f()==RED) {
    x=1;
  }
  assert(x==1);
}