#define TYPE int

int main(void){
    TYPE a = 6;
    TYPE b = -4;
    if (a >= 0)
      return 42;
    return 0;
}